Structural operational semantics for stochastic and weighted transition systems

DOI10.1016/J.IC.2013.04.001MaRDI QIDQ383372zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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)

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A structural approach to operational semantics
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bialgebras for structural operational semantics: an introduction
• Bisimulation can't be traced
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation through probabilistic testing
• Language-based performance prediction for distributed and mobile systems
• Process algebra for performance evaluation
• Rate-Based Transition Systems for Stochastic Process Calculi
• Structural Operational Semantics for Stochastic Process Calculi
• Structural Operational Semantics for Weighted Transition Systems
• Structural operational semantics.
• Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems

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)