Sciweavers

Share
ENTCS
2007

Bialgebraic Methods in Structural Operational Semantics: Invited Talk

8 years 10 months ago
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.
Bartek Klin
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Bartek Klin
Comments (0)
books