scientific article; zbMATH DE number 1759619

zbMATH Open0999.68144MaRDI QIDQ4536610FDOQ4536610

Rance Cleaveland, Marco Bernardo

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Approximating Markovian testing equivalence
• scientific article; zbMATH DE number 7311343
• Testing preorders for probabilistic processes.
• scientific article; zbMATH DE number 2086650
• Algebraic theory of probabilistic processes.

Mathematics Subject Classification ID

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

Cited In (16)

• Logical characterization of fluid equivalences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
• Testing hypothesis on transition distributions of a Markov sequence
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Domain theory, testing and simulation for labelled Markov processes
• Twistor spaces and harmonic maps
• Non-bisimulation-based Markovian behavioral equivalences
• Bisimulation and Simulation Relations for Markov Chains
• Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity
• Determining asynchronous test equivalence for probabilistic processes
• Parameter estimation and model testing for Markov processes via conditional characteristic functions
• Comparative branching-time semantics for Markov chains
• Title not available (Why is that?)

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 Q4536610)