Formal Methods in Software and Systems Modeling

DOI10.1007/B106390MaRDI QIDQ5710406zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Andrea Corradini

Publication date 2 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106390

zbMATH Keywords

survey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrency for Graph Grammars in a Petri net shell
• scientific article; zbMATH DE number 1231483
• scientific article; zbMATH DE number 749804
• An event structure semantics for graph grammars with parallel productions
• scientific article; zbMATH DE number 1231496

Cited in

(7)

• A Term-Graph Syntax for Algebras over Multisets
• scientific article; zbMATH DE number 4049095 (Why is no real title available?)
• scientific article; zbMATH DE number 1231483 (Why is no real title available?)
• scientific article; zbMATH DE number 1231496 (Why is no real title available?)
• Concurrency for Graph Grammars in a Petri net shell
• Concurrent graph and term graph rewriting
• Unfolding semantics of graph transformation

This page was built for publication: Formal Methods in Software and Systems Modeling

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