scientific article; zbMATH DE number 1864592

zbMath1006.68079MaRDI QIDQ4791270

James Worrell, Franck Van Breugel

Publication date: 6 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540336.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

A metrized duality theorem for Markov processes, Recursively defined metric spaces without contraction, A pseudometric in supervisory control of probabilistic discrete event systems, Metrics for labelled Markov processes, Unnamed Item, On behavioural pseudometrics and closure ordinals, Polynomial-time algorithms for computing distances of fuzzy transition systems, Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations, Bisimulation for Markov Decision Processes through Families of Functional Expressions, Probabilistic divide \& congruence: branching bisimilarity, On metrics for probabilistic systems: definitions and algorithms, Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes, A behavioural pseudometric for probabilistic transition systems, Weak bisimulation is sound and complete for pCTL\(^*\), Measuring the confinement of probabilistic systems, Quantitative analysis of weighted transition systems, Bisimulation and cocongruence for probabilistic systems, Logical characterization of branching metrics for nondeterministic probabilistic transition systems, Approximating and computing behavioural distances in probabilistic transition systems, Unnamed Item, Approximating Markov Processes by Averaging, Non Expansive ε-Bisimulations, Proving Approximate Implementations for Probabilistic I/O Automata