Listar Reportes Técnicos y de Investigación por autor "Costa, J. Felix"

Mostrando ítems 1-5 de 5

    • 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) [Reporte Técnico y de Investigación]
      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) [Reporte Técnico y de Investigación]
      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) [Reporte Técnico y de Investigación]
      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 ...

    • Synchronization in petri nets 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1993) [Reporte Técnico y de Investigación]
      In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this ...

    • Systems for system implementation 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (CPGCC da UFRGS, 1996) [Reporte Técnico y de Investigación]
      Inspired by Meseguer and Montanari's "Petri Nets are Monoids", we propose that a refinement o f a Petri net is a special kind o f net morphism were the target object is enriched with ali conceivable sequential and concurrent ...