FM 2005: Formal Methods

DOI10.1007/b27882zbMath1120.68410OpenAlexW1497681073MaRDI QIDQ5716877

Christie Bolton

Publication date: 10 January 2006

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

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

zbMATH Keywords

ConflictCSPPetri NetsAutomatic VerificationConfusionInterleaving ConcurrencyTrue 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 (3)

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

This page was built for publication: FM 2005: Formal Methods