Differential Bisimulation for a Markovian Process Algebra

DOI10.1007/978-3-662-48057-1_23zbMath1465.68195OpenAlexW2294656289MaRDI QIDQ2946344

Andrea Vandin, Mirco Tribastone, Giulio Iacobelli

Publication date: 16 September 2015

Published in: Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48057-1_23

Mathematics Subject Classification ID

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

Equivalences for fluid stochastic Petri nets ⋮ Differential Bisimulation for a Markovian Process Algebra ⋮ Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Symbolic computation of differential equivalences ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ Logical characterization of fluid equivalences

Uses Software

• Bio-PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Optimal state-space lumping in Markov chains
• Bisimulation through probabilistic testing
• Bisimilar linear systems.
• Formal molecular biology
• Deciding bisimilarity and similarity for probabilistic processes.
• A unified framework for differential aggregations in Markovian process algebra
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Bisimulation relations for dynamical, control, and hybrid systems
• Exact Fluid Lumpability for Markovian Process Algebra
• Differential Bisimulation for a Markovian Process Algebra
• A Survey of Markovian Behavioral Equivalences
• Three Partition Refinement Algorithms
• Exact and ordinary lumpability in finite Markov chains
• The Effect of Lumping and Expanding on Kinetic Differential Equations
• Equivalence of Dynamical Systems by Bisimulation
• A Compositional Approach to Performance Modelling
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Formal Reduction for Rule-based Models

This page was built for publication: Differential Bisimulation for a Markovian Process Algebra