CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897493
DOI10.1007/11539452zbMath1134.68445OpenAlexW1737342522MaRDI QIDQ5897493
Victor Khomenko, Alex Kondratyev, Walter Vogler, Maciej Koutny
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
formal verificationmodel checkingstate space explosionPetri net unfoldingMerged processesPetri net unravelling
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 (3)
Merged processes: a new condensed representation of Petri net behaviour ⋮ Planning as satisfiability: parallel plans and algorithms for plan search ⋮ Trellis processes: a compact representation for runs of concurrent systems
This page was built for publication: CONCUR 2005 – Concurrency Theory
