Semântica Operacional

Um programa paralelo tem a sua semântica definida se todos os seus possíveis comportamentos podem ser inferidos de sua codificação original
Para isto, a atomicidade de qualquer conjunto de ações com possível execução em paralelo deve ser garantida
Um conjunto de duas ou mais ações é dito atômico quando o efeito de sua execução em paralelo é serializável , isto é, equivalente ao efeito da execução sequencial destas ações em pelo menos uma ordenação
Reparem que a noção de atomicidade se aplica a um conjunto de ações, e não a uma ação em particular