Navegação Teses e Dissertações não defendidas na UFRGS por Assunto "Teoria : Ciência : Computação"
Resultados 1-1 de 1
-
Reificação de objetos concorrentes
(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 ...