Structural Operational Semantics for Stochastic Process Calculi

DOI10.1007/978-3-540-78499-9_30MaRDI QIDQ5458377zbMATH OpenOpenAlexFDO

Authors Bartek Klin, Vladimiro Sassone

Publication date 11 April 2008

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78499-9_30

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Structural operational semantics for stochastic and weighted transition systems
• Structural operational semantics for continuous state stochastic transition systems
• Rate-Based Transition Systems for Stochastic Process Calculi
• Stochastic Pi-calculus Revisited
• A theory of stochastic systems. II: Process algebra

Cited in

(25)

• Structural operational semantics for continuous state stochastic transition systems
• Reduction semantics in Markovian process algebra
• A general SOS theory for the specification of probabilistic transition systems
• General patterns of interaction in stochastic fusion
• Categories of timed stochastic relations
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Structural operational semantics for continuous state probabilistic processes
• The how and why of interactive Markov chains
• Structural Operational Semantics for Weighted Transition Systems
• Structural operational semantics for stochastic and weighted transition systems
• scientific article; zbMATH DE number 1192310 (Why is no real title available?)
• scientific article; zbMATH DE number 1946766 (Why is no real title available?)
• scientific article; zbMATH DE number 2090710 (Why is no real title available?)
• Structural operational semantics for non-deterministic processes with quantitative aspects
• Rate-Based Transition Systems for Stochastic Process Calculi
• The measurable space of stochastic processes
• Non Expansive ε-Bisimulations
• Foundations of Software Science and Computational Structures
• Towards Effects in Mathematical Operational Semantics
• Bialgebras for structural operational semantics: an introduction
• Fully Abstract and Robust Compilation
• A definition scheme for quantitative bisimulation
• Approximating Markovian testing equivalence
• Stochastic process semantics for dynamical grammars
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes

This page was built for publication: Structural Operational Semantics for Stochastic Process Calculi

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