Listar por tema "Automata nao-sequencial"
Mostrando ítems 1-1 de 1
-
Reificação de objetos concorrentes
(1997) [Tesis]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 ...