Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view

DOI10.1007/978-3-662-64821-6zbMath1503.68008OpenAlexW4285266887MaRDI QIDQ2077739

H. C. M. Kleijn, Maciej Koutny, Łukasz Mikulski, Ryszard Janicki

Publication date: 21 February 2022

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-64821-6

zbMATH Keywords

formal semanticsPetri netsconcurrency theoryMazurkiewicz traces

Mathematics Subject Classification ID

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

This page was built for publication: Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view