Structural Operational Semantics for Stochastic Process Calculi
DOI10.1007/978-3-540-78499-9_30zbMATH Open1138.68468OpenAlexW1482758428MaRDI QIDQ5458377FDOQ5458377
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
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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
- Title not available (Why is that?)
- Bialgebras for structural operational semantics: an introduction
- The measurable space of stochastic processes
- Title not available (Why is that?)
- Non Expansive ε-Bisimulations
- Structural operational semantics for continuous state probabilistic processes
- 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
- Foundations of Software Science and Computational Structures
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Structural operational semantics for non-deterministic processes with quantitative aspects
- A general SOS theory for the specification of probabilistic transition systems
- Rate-Based Transition Systems for Stochastic Process Calculi
- Title not available (Why is that?)
- Structural operational semantics for stochastic and weighted transition systems
- 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)
