Navegação Relatórios Técnicos e de Pesquisa por Autor "Sernadas, Amilcar dos Santos Costa"

Resultados 1-3 de 3

    • Nonsequential automata semantics for a concurrent object-based language 

      Menezes, Paulo Fernando Blauth; Sernadas, Amilcar dos Santos Costa; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1995) [Relatório Técnico e de Pesquisa]
      Nonsequential automata constitute a categoria! semantic domain based on labeled transition system with full concurrency, where synchronization and hiding are functorial anda class of morphisms stands for reification. It ...

    • Refinement in a concurrent, object-based language 

      Menezes, Paulo Fernando Blauth; Sernadas, Amilcar dos Santos Costa; Costa, J. Felix (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]
      Nonsequential automata constitute a categoria! semantic domain based oo labeled transition system with full concurrency, where restriction and relabeling are functorial and a class oi morphisms stands for refinement. It ...

    • 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 ...