Navegação Relatórios Técnicos e de Pesquisa por Autor "Menezes, Paulo Fernando Blauth"

Resultados 1-8 de 8

    • Aplicação de uma metodologia para o ensino de ciência da computação para crianças e para estudantes do curso de bacharelado em ciência da computação 

      Bavaresco, Simone; Szücs, José Francisco; Fernandes, Cláudia Santos (2018) [Relatório Técnico e de Pesquisa]
      Este relatório técnico-científico trata da aplicação de uma proposta metodológica desenvolvida no Mestrado em Ciência da Computação da UFRGS para o ensino de Ciência da Computação para Crianças em uma oficina realizada no ...

    • Compositional reification of petri nets 

      Menezes, Paulo Fernando Blauth (Instituto Superior Tecnico. Departamento de Matematica, 1994) [Relatório Técnico e de Pesquisa]
      A categorical semantic domain is constructed for the reification of Petri nets based on graph transformations. First, the graph transformation concept (based on the single pushout approach) is extended for Petri nets viewed ...

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

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

    • Synchronization in petri nets 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1993) [Relatório Técnico e de Pesquisa]
      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) [Relatório Técnico e de Pesquisa]
      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 ...