Structural operational semantics for stochastic and weighted transition systems
DOI10.1016/J.IC.2013.04.001zbMATH Open1358.68214OpenAlexW2137336375MaRDI QIDQ383372FDOQ383372
Authors: Bartek Klin, Vladimiro Sassone 
Publication date: 4 December 2013
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2013.04.001
Recommendations
- Structural Operational Semantics for Weighted Transition Systems
- Structural Operational Semantics for Stochastic Process Calculi
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Structural operational semantics for continuous state stochastic transition systems
- GSOS for probabilistic transition systems (extended abstract)
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- A structural approach to operational semantics
- Structural operational semantics.
- Structural Operational Semantics for Weighted Transition Systems
- Bisimulation can't be traced
- Bialgebras for structural operational semantics: an introduction
- Bisimulation through probabilistic testing
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Structural Operational Semantics for Stochastic Process Calculi
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Terminal coalgebras in well-founded set theory
- A Theory of Communicating Sequential Processes
- Process algebra for performance evaluation
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Language-based performance prediction for distributed and mobile systems
- Rate-Based Transition Systems for Stochastic Process Calculi
Cited In (15)
- Reduction semantics in Markovian process algebra
- Back to the format: a survey on SOS for probabilistic processes
- Structural Operational Semantics for Stochastic Process Calculi
- Behavioural equivalences for timed systems
- From generic partition refinement to weighted tree automata minimization
- Structural operational semantics for continuous state stochastic transition systems
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
- Minimality Notions via Factorization Systems and Examples
- Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics.
- Structural Operational Semantics for Weighted Transition Systems
- Compositionality for quantitative specifications
- Structural operational semantics for non-deterministic processes with quantitative aspects
- A general SOS theory for the specification of probabilistic transition systems
- Generic partition refinement and weighted tree automata
- Behavioural equivalences for coalgebras with unobservable moves
This page was built for publication: Structural operational semantics for stochastic and weighted transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383372)
