Rate-Based Transition Systems for Stochastic Process Calculi

DOI10.1007/978-3-642-02930-1_36zbMath1248.68350OpenAlexW2099811898MaRDI QIDQ5321675

Rocco De Nicola, Michele Loreti, Diego Latella, Mieke Massink

Publication date: 14 July 2009

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/275/1/icalp2_2009a.pdf

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

Structural operational semantics for stochastic and weighted transition systems ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ The How and Why of Interactive Markov Chains ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ Probabilistic Analysis of Binary Sessions ⋮ Approximating Markovian testing equivalence

Uses Software

• MarCaSPiS

This page was built for publication: Rate-Based Transition Systems for Stochastic Process Calculi