Nonsequential Automaton
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Reificação de objetos concorrentes / Reification of concurrent objects
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 são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reifica
Publicado em: 2010