Navegação Teses e Dissertações por Autor "Sernadas, Amilcar dos Santos Costa"
Resultados 1-1 de 1
-
Reificação de objetos concorrentes
Menezes, Paulo Fernando Blauth (1997) [Tese]Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri ...