...sequenciais

O conceito abstrato de processo não deve ser confundido com o de processo de um sistema operacional como o Unix

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...processos.

Classificação em paralelo constitui um campo ativo de pesquisa; um panorama da área pode ser encontrado em [Bitton et al., 1984]

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...invariant

A1 is valid initially, and for every rule R with guard G and action S, $\{A1 \wedge G\} \:S\: \{A1\}$.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.