Concorrência Assíncrona



next up previous contents
Next: Alternativa Up: Especificação do Comportamento Previous: Concorrência Síncrona

Concorrência Assíncrona

A concorrência assíncrona expressa em

exp1exp2
é representada pela rede da fig. 16. Neste caso, as duas expressões podem decorrer igualmente em paralelo mas a rede termina quando terminar uma delas, já que foi feita uma unificação das marcações finais das redes das duas expressões.

  
Figure 16: Rede para o Operador de Concorrência Assíncrona



Jose Franscisco Creissac Campos
Wed Jan 31 20:30:35 MET 1996