Model Checking Synchronized Products of Infinite Transition Systems
From MaRDI portal
Publication:5453498
DOI10.2168/LMCS-3(4:5)2007zbMath1131.68065MaRDI QIDQ5453498
Wolfgang Thomas, Stefan Wöhrle
Publication date: 1 April 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ The Compositional Method and Regular Reachability ⋮ Model Checking FO(R) over One-Counter Processes and beyond
This page was built for publication: Model Checking Synchronized Products of Infinite Transition Systems
