Bialgebraic methods and modal logic in structural operational semantics

DOI10.1016/J.IC.2007.10.006MaRDI QIDQ1012126zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

coalgebramodal logicstructural operational semanticsbialgebracongruence format

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

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)

• Bialgebras for structural operational semantics: an introduction
• Bialgebraic methods in structural operational semantics (invited talk)
• 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
• Coalgebraic logics \& duality
• Bialgebraic semantics for logic programming
• 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
• Stream differential equations: specification formats and solution methods
• Combining bialgebraic semantics and equations
• Bialgebraic methods and modal logic in structural operational semantics

Describes a project that uses

Uses Software

• SLMC

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)