scientific article; zbMATH DE number 1956514

zbMath1029.68112MaRDI QIDQ4417860

Joël Ouaknine, Michael W. Mislove, James Worrell, Franck Van Breugel

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200200.htm

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

Mathematics Subject Classification ID

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

Related Items (6)

A Duality Theorem for Real C * Algebras ⋮ Metrics for labelled Markov processes ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Domain theory, testing and simulation for labelled Markov processes ⋮ Approximating Markov Processes by Averaging ⋮ Proving Approximate Implementations for Probabilistic I/O Automata

This page was built for publication: