A uniform definition of stochastic process calculi

DOI10.1145/2522968.2522973zbMath1288.68184OpenAlexW2040598439WikidataQ124439080 ScholiaQ124439080MaRDI QIDQ5419173

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

Publication date: 5 June 2014

Published in: ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/1322/1/CSA_TR_2012_1.pdf

zbMATH Keywords

structured operational semanticscontinuous-time Markov chainsstochastic process calculi

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) 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)

Related Items (12)

Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ Nonlinear pattern matching in rule-based modeling languages ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Reduction semantics in Markovian process algebra ⋮ \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics ⋮ Policy Synthesis for Collective Dynamics ⋮ Towards general axiomatizations for bisimilarity and trace semantics ⋮ Structural operational semantics for non-deterministic processes with quantitative aspects ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. ⋮ Symbolic computation of differential equivalences ⋮ Fluid approximation of broadcasting systems

This page was built for publication: A uniform definition of stochastic process calculi