scientific article; zbMATH DE number 1956514

MaRDI QIDQ4417860zbMATH OpenFDO

Authors Joël Ouaknine, Franck van Breugel, Michael Mislove, James Worrell

Publication date 30 July 2003

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696897
• scientific article; zbMATH DE number 2086650
• Bisimulation for labelled Markov processes
• Approximating Markov processes by averaging
• Domain theory, testing and simulation for labelled Markov processes

Cited in

(15)

• Characterize branching distance in terms of ( , )-bisimilarity
• Domain theory, testing and simulation for labelled Markov processes
• Approximating bisimilarity for Markov processes
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
• scientific article; zbMATH DE number 1696897 (Why is no real title available?)
• Proving approximate implementations for probabilistic I/O automata
• A Duality Theorem for Real C * Algebras
• On the relationship between bisimulation and trace equivalence in an approximate probabilistic context
• On Bisimilarity and Substitution in Presence of Replication
• Approximate reasoning for real-time probabilistic processes
• Approximating Markov processes by averaging
• Quantitative relations and approximate process equivalences.
• Metrics for labelled Markov processes
• (Towards a) statistical probabilistic lazy lambda calculus
• Approximate bisimulation: a bridge between computer science and control theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417860)