scientific article; zbMATH DE number 1303726

zbMath0926.03036MaRDI QIDQ4250361

Radu Mateescu, Jan Friso Groote

Publication date: 17 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebramodal \(\mu\)-calculusfixed point operators

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (11)

Abstraction in Fixpoint Logic ⋮ Model Checking Value-Passing Modal Specifications ⋮ Unnamed Item ⋮ Invariants 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 ⋮ Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study ⋮ Unnamed Item ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Parameterised Boolean equation systems ⋮ Instantiation for Parameterised Boolean Equation Systems

This page was built for publication: