scientific article

zbMath0765.68118MaRDI QIDQ4037401

Rance Cleaveland

Publication date: 18 May 1993

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

zbMATH Keywords

Hennessy-Milner logicbisimulation equivalenceKanellakis-Smolka bisimulation algorithmverifying finite-state systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (12)

Process Algebra and Model Checking ⋮ Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Fixpoint Theory -- Upside Down ⋮ Exploring probabilistic bisimulations. I ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Unnamed Item ⋮ Generating diagnostic information for behavioral preorders ⋮ Constructive logical characterizations of bisimilarity for reactive probabilistic systems ⋮ Fixpoint theory -- upside down ⋮ Bisimulation for labelled Markov processes ⋮ Unnamed Item ⋮ A game for linear-time-branching-time spectroscopy

This page was built for publication: