The decomposition of ESM computations

DOI10.1007/3-540-61228-9_93zbMath1412.68152OpenAlexW1499261285MaRDI QIDQ4645282

No author found.

Publication date: 10 January 2019

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

Full work available at URL: https://doi.org/10.1007/3-540-61228-9_93

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• Computation graphs for actor grammars
• Abstract graph derivations in the double pushout approach
• ESM systems and the composition of their computations