Extended Markovian Process Algebra

DOI10.1007/3-540-61604-7_63MaRDI QIDQ6104380zbMATH OpenOpenAlexFDO

Authors Marco Bernardo, Roberto Gorrieri

Publication date 28 June 2023

Published in CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61604-7_63

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Performance measure sensitive congruences for Markovian process algebras
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
• Process algebra for performance evaluation

Cites work

• Bisimulation through probabilistic testing
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3736680 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3522951 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)

Cited in

(17)

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Algebraic criteria for extended product form in generalised semi-Markov processes
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• A compositional model to reason about end-to-end QoS in stochastic Reo connectors
• Performance measure sensitive congruences for Markovian process algebras
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Comparative branching-time semantics for Markov chains
• Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
• Tackling continuous state-space explosion in a Markovian process algebra
• A process algebra framework for multi-scale modelling of biological systems
• An algebra-based method to associate rewards with EMPA terms
• Bisimulation and Simulation Relations for Markov Chains
• Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Trace machines for observing continuous-time Markov chains
• Trace semantics for stochastic systems with nondeterminism
• Stochastic ambient calculus
• A fluid analysis framework for a Markovian process algebra

This page was built for publication: Extended Markovian Process Algebra

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