A theory of testing for Markovian processes

DOI10.1007/3-540-44618-4_23MaRDI QIDQ4536610zbMATH OpenFDO

Authors Marco Bernardo, Rance Cleaveland

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44618-4_23

Mathematics Subject Classification ID

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

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.

Cited in

(21)

• Domain theory, testing and simulation for labelled Markov processes
• Parameter estimation and model testing for Markov processes via conditional characteristic functions
• Testing hypothesis on transition distributions of a Markov sequence
• Logical characterization of fluid equivalences
• Non-bisimulation-based Markovian behavioral equivalences
• Comparative branching-time semantics for Markov chains
• Determining asynchronous test equivalence for probabilistic processes
• scientific article; zbMATH DE number 5717653 (Why is no real title available?)
• scientific article; zbMATH DE number 3973993 (Why is no real title available?)
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• On real reward testing
• Twistor spaces and harmonic maps
• scientific article; zbMATH DE number 1863172 (Why is no real title available?)
• scientific article; zbMATH DE number 1869949 (Why is no real title available?)
• Bisimulation and Simulation Relations for Markov Chains
• Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
• Testing processes for efficiency
• Trace machines for observing continuous-time Markov chains
• Trace semantics for stochastic systems with nondeterminism
• Approximating Markovian testing equivalence

This page was built for publication: A theory of testing for Markovian processes

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