Performance measure sensitive congruences for Markovian process algebras

DOI10.1016/S0304-3975(01)00090-1zbMath1019.68065MaRDI QIDQ1853585

Marco Bernardo, Mario Bravetti

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Markov chainsperformance evaluationprocess algebrasrewardsmutual exclusion algorithms

Mathematics Subject Classification ID

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

Related Items (9)

Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ Non-bisimulation-based Markovian behavioral equivalences ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Reduction semantics in Markovian process algebra ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi ⋮ Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders ⋮ Mixing logics and rewards for the component-oriented specification of performance measures ⋮ A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems ⋮ Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity

Uses Software

• PEPA

Cites Work

• Specification techniques for Markov reward models
• Bisimulation through probabilistic testing
• Specification styles in distributed systems design and verification
• Processes with probabilities, priority and time
• Testing equivalences for processes
• Composition and behaviors of probabilistic I/O automata
• Reactive, generative, and stratified models of probabilistic processes
• On the solution of GSPN reward models
• Performability: a retrospective and some pointers to the future
• Composite performance and dependability analysis
• Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
• An algebra-based method to associate rewards with EMPA terms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Performance measure sensitive congruences for Markovian process algebras