Modular implementation of concurrency

DOI10.1007/BF02084164zbMath0508.68039MaRDI QIDQ1838041

Lutz Priese

Publication date: 1982

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

Petri netstransition systemsmodular concurrency

Mathematics Subject Classification ID

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

Cites Work

• The equality problem for vector addition systems is undecidable
• On reduction of asynchronous systems
• A note on asynchronous cellular automata
• Towards a Theory of Universal Speed-Independent Modules
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular implementation of concurrency