scientific article; zbMATH DE number 1759619

zbMath0999.68144MaRDI QIDQ4536610

Rance Cleaveland, Marco Bernardo

Publication date: 25 June 2002

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 (8)

Non-bisimulation-based Markovian behavioral equivalences ⋮ Comparative branching-time semantics for Markov chains ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Determining asynchronous test equivalence for probabilistic processes ⋮ Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders ⋮ Logical characterization of fluid equivalences ⋮ Bisimulation and Simulation Relations for Markov Chains ⋮ Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity

This page was built for publication: