Capturing Conflict and Confusion in CSP

DOI10.1007/978-3-540-73210-5_22zbMath1213.68408OpenAlexW108896188MaRDI QIDQ3608892

Christie Bolton

Publication date: 6 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73210-5_22

zbMATH Keywords

Petri netsCSPtrue concurrencyautomatic verificationconflictconfusioninterleaving concurrency

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)

Confusion control in generalized Petri nets using synchronized events ⋮ Building distributed controllers for systems with priorities ⋮ Distributed Implementation of Systems with Multiparty Interactions and Priorities ⋮ Confusion analysis and detection for workflow nets

This page was built for publication: Capturing Conflict and Confusion in CSP