Lectures on Concurrency and Petri Nets

DOI10.1007/B98282zbMath1088.68124OpenAlexW78026558MaRDI QIDQ5712282

Anca Muscholl, Blaise Genest, Doron A. Peled

Publication date: 23 December 2005

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Multiparty half-duplex systems and synchronous communications ⋮ Progress-preserving Refinements of CTA ⋮ Timed Semantics of Message Sequence Charts Based on Timed Automata ⋮ Negotiations and Petri Nets

This page was built for publication: Lectures on Concurrency and Petri Nets