Exact Fluid Lumpability for Markovian Process Algebra

DOI10.1007/978-3-642-32940-1_27zbMath1364.68297arXiv1307.4566OpenAlexW2004868751WikidataQ57790900 ScholiaQ57790900MaRDI QIDQ2912691

Mirco Tribastone, Max Tschaikowski

Publication date: 25 September 2012

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

Full work available at URL: https://arxiv.org/abs/1307.4566

zbMATH Keywords

equivalence relationsordinary differential equationsstochastic process algebra

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

Equivalences for fluid stochastic Petri nets, Tackling continuous state-space explosion in a Markovian process algebra, Differential Bisimulation for a Markovian Process Algebra, Comparing chemical reaction networks: a categorical and algorithmic perspective, Formal lumping of polynomial differential equations through approximate equivalences, Exact fluid lumpability in Markovian process algebra, A unified framework for differential aggregations in Markovian process algebra, Symbolic computation of differential equivalences, Quantitative Abstractions for Collective Adaptive Systems, Logical characterization of fluid equivalences