Bialgebraic methods and modal logic in structural operational semantics
type: Item
instance of: scholarly article
title: Bialgebraic methods and modal logic in structural operational semantics
zbMATH Open document ID: 1165.68043
author: Bartek Klin
published in: Information and Computation
publication date: 2009-04-14T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5543807
zbMATH Keywords: structural operational semantics
zbMATH Keywords: coalgebra
zbMATH Keywords: bialgebra
zbMATH Keywords: modal logic
zbMATH Keywords: congruence format
describes a project that uses: SLMC
MaRDI profile type: Publication
full work available at URL: j.ic.2007.10.006
OpenAlex ID: W2100996925
cites work: Structural operational semantics.
cites work: A final coalgebra theorem
cites work: Q4693062
cites work: Process algebra with timing: Real time and discrete time
cites work: GSOS for probabilistic transition systems (extended abstract)
cites work: Precongruence formats for decorated trace semantics
cites work: Bisimulation can't be traced
cites work: Foundations of Software Science and Computational Structures
cites work: Foundations of Software Science and Computation Structures
cites work: Q4484504
cites work: A spatial logic for concurrency. I
cites work: Compositional SOS and beyond: A coalgebraic view of open systems
cites work: A congruence rule format for name-passing process calculi
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: Fundamentals of Computation Theory
cites work: A new approach to abstract syntax with variable binding
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: A hierarchy of SOS rule formats
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Introduction to coalgebra. Towards mathematics of states and observation
cites work: Distributive laws for the coinductive solution of recursive equations
cites work: Q4355684
cites work: Probabilistic extensions of process algebras.
cites work: Q4737185
cites work: Rule formats for timed processes
cites work: Modularity of behaviours for mathematical operational semantics
cites work: Coalgebraic semantics for timed processes
cites work: Adding recursive constructs to bialgebraic semantics
cites work: From bialgebraic semantics to congruence formats
cites work: Coalgebraic Modal Logic Beyond Sets
cites work: CONCUR 2003 - Concurrency Theory
cites work: Q4533390
cites work: Q4499306
cites work: Category theory for operational semantics
cites work: Q4215784
cites work: Q4248252
cites work: A noninterleaving model of concurrency based on transition systems with spatial structure
cites work: Coalgebraic logic
cites work: Expressivity results in the modal logic of coalgebras
cites work: Testing Semantics: Connecting Processes and Process Logics
cites work: Q4256313
cites work: Universal coalgebra: A theory of systems
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
DOI: 10.1016/J.IC.2007.10.006
Recommended article: Bialgebraic methods in structural operational semantics (invited talk)
Recommended article: Structural operational semantics and modal logic, revisited
Recommended article: Bialgebras for structural operational semantics: an introduction
Recommended article: Bilattices and Modal Operators
Recommended article: Bialgebraic Semantics for Logic Programming
Recommended article: Modal bilattice logic and its extensions
Recommended article: Modal logic and algebraic specifications
Recommended article: Modal Operators over Constructive Logic
Recommended article: Q4203830
Recommended article: Modular Bialgebraic Semantics and Algebraic Laws
description: scientific article; zbMATH DE number 5543807