scientific article; zbMATH DE number 1504833

zbMATH Open0958.68081MaRDI QIDQ4502811FDOQ4502811

Authors: Paolo Baldan, Andrea Corradini, Ugo Montanari 

Publication date: 12 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• Coreflective concurrent semantics for single-pushout graph grammars.
• Unfolding semantics of graph transformation
• scientific article; zbMATH DE number 1330131
• Concurrency for Graph Grammars in a Petri net shell
• Unfolding Grammars in Adhesive Categories

zbMATH Keywords

DPO graph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50)

Cited In (13)

• Concurrency for Graph Grammars in a Petri net shell
• Grammar Morphisms and Weakly Adhesive Categories
• Title not available (Why is that?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Unfolding semantics of graph transformation
• Ugo Montanari and Graph Transformation
• Towards a notion of transaction in graph rewriting
• 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
• Contextual Petri nets, asymmetric event structures, and processes
• Unfolding graph grammars with negative application conditions

This page was built for publication:

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