Publication:4518897
From MaRDI portal
zbMath0960.68118MaRDI QIDQ4518897
Publication date: 20 May 2001
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Sequential and distributed on-the-fly computation of weak tau-confluence, Verification of reactive systems via instantiation of parameterised Boolean equation systems, Producing explanations for rich logics, Compositional verification of asynchronous concurrent systems using CADP, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
Uses Software