Structural Operational Semantics for Weighted Transition Systems

DOI10.1007/978-3-642-04164-8_7MaRDI QIDQ3184746zbMATH OpenOpenAlexFDO

Authors Bartek Klin

Publication date 22 October 2009

Published in Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04164-8_7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Structural operational semantics for stochastic and weighted transition systems
• Structural operational semantics for non-deterministic processes with quantitative aspects
• On the specification of operations on the rational behaviour of systems
• Rational operational models
• Structural operational semantics for continuous state stochastic transition systems

Cites work

• A Compositional Approach to Performance Modelling
• Bialgebraic methods and modal logic in structural operational semantics
• Bisimulation can't be traced
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation through probabilistic testing
• Category theory for operational semantics
• Coalgebraic logic
• Coalgebraic semantics for timed processes
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1418328 (Why is no real title available?)
• Modular structural operational semantics
• Rule formats for timed processes
• Structural Operational Semantics for Stochastic Process Calculi
• Structural operational semantics.
• Terminal coalgebras in well-founded set theory
• The -calculus: A theory of mobile processes
• The origins of structural operational semantics
• Universal coalgebra: A theory of systems

Cited in

(25)

• \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
• From probability monads to commutative effectuses
• Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
• Towards general axiomatizations for bisimilarity and trace semantics
• Distributive laws for monotone specifications
• A general SOS theory for the specification of probabilistic transition systems
• Rational operational models
• Structural congruence for bialgebraic semantics
• Structural operational semantics for stochastic and weighted transition systems
• Modal transition systems with weight intervals
• On the specification of operations on the rational behaviour of systems
• Distributive laws for monotone specifications
• Structural operational semantics for non-deterministic processes with quantitative aspects
• Efficient Coalgebraic Partition Refinement
• Efficient and modular coalgebraic partition refinement
• Quantitative Kleene coalgebras
• Enhanced coalgebraic bisimulation
• Affine Monads and Side-Effect-Freeness
• Graded monads and graded logics for the linear time -- branching time spectrum
• Weighted and branching bisimilarities from generalized open maps
• Bialgebras for structural operational semantics: an introduction
• Structural operational semantics for weak bisimulations
• Rooted branching bisimulation as a congruence for probabilistic transition systems
• A definition scheme for quantitative bisimulation
• Concurrent weighted logic

This page was built for publication: Structural Operational Semantics for Weighted Transition Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184746)