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

(24)

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

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)