Bialgebraic Methods in Structural Operational Semantics: Invited Talk

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of algebraic and coalgebraic methods, it s from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this talk, the current state of the art in the area of bialgebraic semantics is presented, and its prospects for the future are sketched. In particular, a combination of basic bialgebraic techniques with a categorical to modal logic is described, as an abstract approach to proving compositionality by decomposing modal logics over structural operational specifications.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Bartek Klin
• Keywords: Bialgebraic Semantics, ENTCS 2007, Formal Reasoning, Structural Operational Specifications