scientific article; zbMATH DE number 1504833

MaRDI QIDQ4502811zbMATH OpenFDO

Authors Paolo Baldan, Andrea Corradini, Ugo Montanari

Publication date 12 September 2000

zbMATH Keywords

DPO graph grammars

Mathematics Subject Classification ID

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

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

Cited in

(13)

• Concurrency for Graph Grammars in a Petri net shell
• Grammar Morphisms and Weakly Adhesive Categories
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 7456052 (Why is no real title available?)
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Coreflective concurrent semantics for single-pushout graph grammars.
• Contextual Petri nets, asymmetric event structures, and processes
• Processes and unfoldings: concurrent computations in adhesive categories
• 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)