Browsing Technical and Research Reports by Subject "Teoria : Processos"

Now showing items 1-3 of 3

    • Diagonal compositionality of concurrent, finite state systems 

      Menezes, Paulo Fernando Blauth (CPGCC da UFRGS, 1996) [Technical and Research Report]
      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 ...

    • Refinement in a concurrent, object-based language 

      Menezes, Paulo Fernando Blauth; Sernadas, Amilcar dos Santos Costa; Costa, J. Felix (CPGCC da UFRGS, 1996) [Technical and Research Report]
      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 ...

    • Systems for system implementation 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (CPGCC da UFRGS, 1996) [Technical and Research Report]
      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 ...