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

Resultados 1-1 de 1

    • Refinement mapping for general (discrete event) systems theory 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix; Sernadas, Amilcar dos Santos Costa (Instituto Superior Tecnico. Departamento de Matematica, 1994) [Relatório Técnico e de Pesquisa]
      A categoria! semantic domain for general (discrete event) systems based on labeled transition systems with full concurrency is constructed, where synchronization and hiding are functorial. Moreover, we claim that, within ...