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

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

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

(14)

• Contextual Petri nets, asymmetric event structures, and processes
• Unfolding graph grammars with negative application conditions
• Ugo Montanari and Graph Transformation
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Grammar Morphisms and Weakly Adhesive Categories
• scientific article; zbMATH DE number 1330131 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Concurrency for Graph Grammars in a Petri net shell
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• scientific article; zbMATH DE number 7456052 (Why is no real title available?)
• Towards a notion of transaction in graph rewriting
• Processes and unfoldings: concurrent computations in adhesive categories
• Coreflective concurrent semantics for single-pushout graph grammars.
• Unfolding semantics of graph transformation

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)