scientific article; zbMATH DE number 1759619

zbMATH Open0999.68144MaRDI QIDQ4536610FDOQ4536610

Authors: Marco Bernardo, Rance Cleaveland 

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

• Logical characterization of fluid equivalences
• Title not available (Why is that?)
• Testing processes for efficiency
• On real reward testing
• 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
• 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
• Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
• Title not available (Why is that?)
• Approximating Markovian testing equivalence

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)