scientific article; zbMATH DE number 1361140

zbMath0939.68086MaRDI QIDQ4270078

Antti Valmari, Antti Puhakka

Publication date: 20 December 1999

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

zbMATH Keywords

livelock-preserving congruence

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

All congruences below stability-preserving fair testing or CFFD ⋮ MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs ⋮ Modelling Divergence in Relational Concurrent Refinement ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ A Logical Process Calculus ⋮ Compositional State Space Reduction Using Untangled Actions

This page was built for publication: