Bialgebras for structural operational semantics: an introduction
From MaRDI portal
Publication:639646
DOI10.1016/j.tcs.2011.03.023zbMath1246.68150OpenAlexW1969279113MaRDI QIDQ639646
Publication date: 22 September 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.03.023
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (36)
Rational operational models ⋮ Unnamed Item ⋮ A general SOS theory for the specification of probabilistic transition systems ⋮ Convexity via Weak Distributive Laws ⋮ Structural congruence for bialgebraic semantics ⋮ Structural operational semantics for stochastic and weighted transition systems ⋮ Unnamed Item ⋮ Multigames and strategies, coalgebraically ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Proving language inclusion and equivalence by coinduction ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Structural operational semantics through context-dependent behaviour ⋮ Unnamed Item ⋮ Companions, Codensity and Causality ⋮ Combining semilattices and semimodules ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ Structural operational semantics for non-deterministic processes with quantitative aspects ⋮ Some undecidable properties of SOS specifications ⋮ A general account of coinduction up-to ⋮ Unnamed Item ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Product Rules and Distributive Laws ⋮ Unnamed Item ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Unnamed Item ⋮ A New Foundation for Finitary Corecursion ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Distributive laws for monotone specifications ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Category theory for operational semantics
- Productivity of stream definitions
- A congruence rule format for name-passing process calculi
- Bialgebraic methods and modal logic in structural operational semantics
- Structural induction and coinduction in a fibrational setting
- Universal coalgebra: A theory of systems
- Compositional SOS and beyond: A coalgebraic view of open systems
- A structural approach to operational semantics
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Comparing operational models of name-passing process calculi
- Distributive laws for the coinductive solution of recursive equations
- Coalgebraic semantics for timed processes
- Rule Formats for Timed Processes
- Well-behaved Translations between Structural Operational Semantics
- Coalgebraic Symbolic Semantics
- Relating Coalgebraic Notions of Bisimulation
- Structural Operational Semantics and Modal Logic, Revisited
- Pointwise extensions of GSOS-defined operations
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
- Structural Operational Semantics for Weighted Transition Systems
- CIA Structures and the Semantics of Recursion
- Adjoint Lifting Theorems for Categories of Algebras
- Bisimulation can't be traced
- Generic Trace Semantics via Coinduction
- The Microcosm Principle and Concurrency in Coalgebra
- Structural Operational Semantics for Stochastic Process Calculi
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- A coalgebraic presentation of structured transition systems
This page was built for publication: Bialgebras for structural operational semantics: an introduction
