A Survey of Markovian Behavioral Equivalences
From MaRDI portal
Publication:3084590
DOI10.1007/978-3-540-72522-0_5zbMath1323.68402OpenAlexW1497762588MaRDI QIDQ3084590
Publication date: 25 March 2011
Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_5
Specification and verification (program logics, model checking, etc.) (68Q60) 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)
Related Items (11)
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Equivalences for fluid stochastic Petri nets ⋮ Differential Bisimulation for a Markovian Process Algebra ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Towards State Space Reduction Based on T-Lumpability-Consistent Relations ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Equivalence relations for modular performance evaluation in dtsPBC ⋮ Symbolic computation of differential equivalences ⋮ Logical characterization of fluid equivalences
Uses Software
This page was built for publication: A Survey of Markovian Behavioral Equivalences