Structural operational semantics for stochastic and weighted transition systems

DOI10.1016/j.ic.2013.04.001zbMath1358.68214MaRDI 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

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

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

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