Publication:4250361
From MaRDI portal
zbMath0926.03036MaRDI QIDQ4250361
Radu Mateescu, Jan Friso Groote
Publication date: 17 June 1999
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B44: Temporal logic
Related Items
Unnamed Item, Unnamed Item, Abstraction in Fixpoint Logic, Instantiation for Parameterised Boolean Equation Systems, A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus, Verification of reactive systems via instantiation of parameterised Boolean equation systems, A linear process-algebraic format with data for probabilistic automata, Invariants for parameterised Boolean equation systems, Parameterised Boolean equation systems, Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study, Model Checking Value-Passing Modal Specifications