Structural Operational Semantics for Weighted Transition Systems
From MaRDI portal
Publication:3184746
DOI10.1007/978-3-642-04164-8_7zbMath1253.68214OpenAlexW1535812899MaRDI QIDQ3184746
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
Related Items
Rational operational models, A general SOS theory for the specification of probabilistic transition systems, Unnamed Item, Structural congruence for bialgebraic semantics, Structural operational semantics for stochastic and weighted transition systems, \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics, From probability monads to commutative effectuses, Concurrent weighted logic, Weighted and branching bisimilarities from generalized open maps, Unnamed Item, Enhanced coalgebraic bisimulation, Bialgebras for structural operational semantics: an introduction, Unnamed Item, Towards general axiomatizations for bisimilarity and trace semantics, Quantitative Kleene coalgebras, Affine Monads and Side-Effect-Freeness, Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines, Efficient Coalgebraic Partition Refinement, Distributive laws for monotone specifications
Cites Work
- Category theory for operational semantics
- Bialgebraic methods and modal logic in structural operational semantics
- Bisimulation through probabilistic testing
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- The origins of structural operational semantics
- Modular structural operational semantics
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Terminal coalgebras in well-founded set theory
- Coalgebraic semantics for timed processes
- Rule Formats for Timed Processes
- Bisimulation can't be traced
- Structural Operational Semantics for Stochastic Process Calculi
- A Compositional Approach to Performance Modelling
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item