Rate-Based Transition Systems for Stochastic Process Calculi

DOI10.1007/978-3-642-02930-1_36MaRDI QIDQ5321675zbMATH OpenOpenAlexFDO

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

Recommendations

• Stochastic Pi-calculus Revisited
• Structural Operational Semantics for Stochastic Process Calculi
• A uniform definition of stochastic process calculi
• The measurable space of stochastic processes
• Measurable stochastics for Brane calculus

Cited in

(13)

• A general overview of formal languages for individual-based modelling of ecosystems
• On process rate semantics
• Quantitative abstractions for collective adaptive systems
• The how and why of interactive Markov chains
• Structural operational semantics for stochastic and weighted transition systems
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Probabilistic Analysis of Binary Sessions
• Structural Operational Semantics for Stochastic Process Calculi
• Foundations of Software Science and Computational Structures
• Rate lifting for stochastic process algebra by transition context augmentation
• A definition scheme for quantitative bisimulation
• Stochastically timed predicate-based communication primitives for autonomic computing
• Approximating Markovian testing equivalence

Describes a project that uses

Uses Software

• MarCaSPiS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5321675)