Unfolding semantics of graph transformation

DOI10.1016/J.IC.2006.11.004zbMATH Open1115.68093OpenAlexW1996402690MaRDI QIDQ879600FDOQ879600

Authors: Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro 

Publication date: 14 May 2007

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2006.11.004

Recommendations

• Coreflective concurrent semantics for single-pushout graph grammars.
• scientific article; zbMATH DE number 1330131
• Processes and unfoldings: concurrent computations in adhesive categories
• Publication:4502811
• Formal Methods in Software and Systems Modeling

zbMATH Keywords

concurrencynondeterminismPetri netsunfoldingevent structuresgraph transformation systemsread arcs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Cites Work

• Petri nets, event structures and domains. I
• Title not available (Why is that?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• The non-sequential behaviour of Petri nets
• Efficiency of asynchronous systems and read arcs in petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Title not available (Why is that?)
• On the nature of events: another perspective in concurrency
• Petri nets are monoids
• Title not available (Why is that?)
• Semantics of inhibitor nets
• Adhesive and quasiadhesive categories
• Process versus unfolding semantics for Place/Transition Petri nets
• Contextual nets
• Categories of partial maps
• Petri nets, algebras, morphisms, and compositionality
• Parallelism and concurrency in high-level replacement systems
• The category of typed graph grammars and its adjunctions with categories of derivations
• Algebraic approach to single-pushout graph transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the semantics of place/transition Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• CONCUR 2004 - Concurrency Theory
• Coreflective concurrent semantics for single-pushout graph grammars.
• Concurrent graph and term graph rewriting

Cited In (18)

• Unfolding-based diagnosis of systems with an evolving topology
• Unfolding Grammars in Adhesive Categories
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Title not available (Why is that?)
• Formal Verification of Graph Grammars using Mathematical Induction
• Title not available (Why is that?)
• Verification of graph grammars using a logical approach
• A Heterogeneous Pushout Approach to Term-Graph Transformation
• A framework for the verification of infinite-state graph transformation systems
• Ugo Montanari and Graph Transformation
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Title not available (Why is that?)
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Coreflective concurrent semantics for single-pushout graph grammars.
• Processes and unfoldings: concurrent computations in adhesive categories
• An institution for graph transformation
• Unfolding Symbolic Attributed Graph Grammars
• The true concurrency of differential interaction nets

This page was built for publication: Unfolding semantics of graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879600)