Bialgebraic methods and modal logic in structural operational semantics
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 1314227 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1927579 (Why is no real title available?)
- scientific article; zbMATH DE number 1497875 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 2086649 (Why is no real title available?)
- A congruence rule format for name-passing process calculi
- A final coalgebra theorem
- A hierarchy of SOS rule formats
- A new approach to abstract syntax with variable binding
- A noninterleaving model of concurrency based on transition systems with spatial structure
- A spatial logic for concurrency. I
- Adding recursive constructs to bialgebraic semantics
- Algebraic laws for nondeterminism and concurrency
- Bialgebraic methods and modal logic in structural operational semantics
- Bisimulation can't be traced
- CONCUR 2003 - Concurrency Theory
- Category theory for operational semantics
- Coalgebraic logic
- Coalgebraic modal logic beyond sets
- Coalgebraic semantics for timed processes
- Compositional SOS and beyond: A coalgebraic view of open systems
- Compositionality of Hennessy-Milner logic through structural operational semantics.
- Distributive laws for the coinductive solution of recursive equations
- Expressivity results in the modal logic of coalgebras
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computational Structures
- From bialgebraic semantics to congruence formats
- GSOS for probabilistic transition systems (extended abstract)
- Higher-level synchronising devices in Meije-SCCS
- Introduction to coalgebra. Towards mathematics of states and observation
- Modularity of behaviours for mathematical operational semantics
- Precongruence formats for decorated trace semantics
- Probabilistic extensions of process algebras.
- Process algebra with timing: Real time and discrete time
- Rule formats for timed processes
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
- Structural operational semantics.
- Testing Semantics: Connecting Processes and Process Logics
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Universal coalgebra: A theory of systems
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
Cited in
(18)- Structural Operational Semantics for Weighted Transition Systems
- Modular bialgebraic semantics and algebraic laws
- Bialgebraic semantics for logic programming
- Bialgebraic methods and modal logic in structural operational semantics
- From bialgebraic semantics to congruence formats
- Stream differential equations: specification formats and solution methods
- Traces for coalgebraic components
- Smooth coalgebra: testing vector analysis
- Towards Effects in Mathematical Operational Semantics
- Pointwise extensions of GSOS-defined operations
- Bialgebraic methods in structural operational semantics (invited talk)
- Towards bialgebraic semantics for the linear time -- branching time spectrum
- Bialgebras for structural operational semantics: an introduction
- Coalgebraic logics \& duality
- Combining bialgebraic semantics and equations
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Structural congruence for bialgebraic semantics
- Structural operational semantics and modal logic, revisited
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)
