Structural operational semantics for stochastic and weighted transition systems

DOI10.1016/j.ic.2013.04.001zbMath1358.68214OpenAlexW2137336375MaRDI QIDQ383372

Vladimiro Sassone, Bartek Klin

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

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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Minimality Notions via Factorization Systems and Examples, A general SOS theory for the specification of probabilistic transition systems, Reduction semantics in Markovian process algebra, Behavioural equivalences for coalgebras with unobservable moves, Back to the format: a survey on SOS for probabilistic processes, From generic partition refinement to weighted tree automata minimization, Structural operational semantics for non-deterministic processes with quantitative aspects, Unnamed Item, Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines, Compositionality for quantitative specifications, Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics.

Cites Work

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