Navegação Relatórios Técnicos e de Pesquisa por Assunto "Automata"

Resultados 1-1 de 1

    • Diagonal compositionality of concurrent, finite state systems 

      Menezes, Paulo Fernando Blauth (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]
      In previous works together with J . Félix Costa and A. Sernadas, we construct a categoria} semantic domain called Nonsequential Automata (first introduced in [10]), based on labeled transition systems [15] with full ...