Bialgebraic methods and modal logic in structural operational semantics
From MaRDI portal
Publication:1012126
DOI10.1016/J.IC.2007.10.006zbMATH Open1165.68043OpenAlexW2100996925MaRDI QIDQ1012126FDOQ1012126
Authors: Bartek Klin 
Publication date: 14 April 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2007.10.006
Recommendations
- Bialgebraic methods in structural operational semantics (invited talk)
- Structural operational semantics and modal logic, revisited
- Bialgebras for structural operational semantics: an introduction
- Bilattices and Modal Operators
- Bialgebraic semantics for logic programming
- Modal bilattice logic and its extensions
- Modal logic and algebraic specifications
- Modal Operators over Constructive Logic
- scientific article; zbMATH DE number 4123320
- Modular bialgebraic semantics and algebraic laws
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- A congruence rule format for name-passing process calculi
- Higher-level synchronising devices in Meije-SCCS
- Universal coalgebra: A theory of systems
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Structural operational semantics.
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Bisimulation can't be traced
- Title not available (Why is that?)
- Coalgebraic modal logic beyond sets
- A new approach to abstract syntax with variable binding
- Category theory for operational semantics
- A final coalgebra theorem
- Coalgebraic logic
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computation Structures
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
- Title not available (Why is that?)
- Compositional SOS and beyond: A coalgebraic view of open systems
- Adding recursive constructs to bialgebraic semantics
- Distributive laws for the coinductive solution of recursive equations
- Title not available (Why is that?)
- A spatial logic for concurrency. I
- Title not available (Why is that?)
- Precongruence formats for decorated trace semantics
- Probabilistic extensions of process algebras.
- Bialgebraic methods and modal logic in structural operational semantics
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
- Title not available (Why is that?)
- From bialgebraic semantics to congruence formats
- A hierarchy of SOS rule formats
- Process algebra with timing: Real time and discrete time
- Coalgebraic semantics for timed processes
- Rule formats for timed processes
- Modularity of behaviours for mathematical operational semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Testing Semantics: Connecting Processes and Process Logics
- GSOS for probabilistic transition systems (extended abstract)
- Foundations of Software Science and Computational Structures
- Expressivity results in the modal logic of coalgebras
- Introduction to coalgebra. Towards mathematics of states and observation
- A noninterleaving model of concurrency based on transition systems with spatial structure
- CONCUR 2003 - Concurrency Theory
- Compositionality of Hennessy-Milner logic through structural operational semantics.
Cited In (18)
- Bialgebraic methods in structural operational semantics (invited talk)
- Bialgebras for structural operational semantics: an introduction
- Structural operational semantics and modal logic, revisited
- Pointwise extensions of GSOS-defined operations
- Towards bialgebraic semantics for the linear time -- branching time spectrum
- Smooth coalgebra: testing vector analysis
- Structural congruence for bialgebraic semantics
- Modular bialgebraic semantics and algebraic laws
- Bialgebraic semantics for logic programming
- Coalgebraic logics \& duality
- Structural Operational Semantics for Weighted Transition Systems
- From bialgebraic semantics to congruence formats
- Traces for coalgebraic components
- Towards Effects in Mathematical Operational Semantics
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Combining bialgebraic semantics and equations
- Stream differential equations: specification formats and solution methods
- Bialgebraic methods and modal logic in structural operational semantics
Uses Software
This page was built for publication: Bialgebraic methods and modal logic in structural operational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1012126)
