Rate-Based Transition Systems for Stochastic Process Calculi
From MaRDI portal
Publication:5321675
DOI10.1007/978-3-642-02930-1_36zbMath1248.68350MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Structural operational semantics for stochastic and weighted transition systems, A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, Approximating Markovian testing equivalence, A general overview of formal languages for individual-based modelling of ecosystems, Quantitative Abstractions for Collective Adaptive Systems, The How and Why of Interactive Markov Chains
Uses Software