scientific article; zbMATH DE number 1512606

zbMath0961.68087MaRDI QIDQ4508289

Mariëlle I. A. Stoelinga, Christel Baier

Publication date: 5 June 2001

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

zbMATH Keywords

bisimulations

Mathematics Subject Classification ID

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

Related Items

A space-efficient simulation algorithm on probabilistic automata, A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, Polynomial time decision algorithms for probabilistic automata, Branching bisimulation for probabilistic systems: characteristics and decidability, Probabilistic weak simulation is decidable in polynomial time