Bialgebraic methods in structural operational semantics

Bialgebraic methods in structural operational semantics (2007)

by Bartek Klin

Venue:	ENTCS
Citations:	5 - 1 self

Datum	Value	Source
TITLE	Bialgebraic methods in structural operational semantics	INFERENCE
AUTHOR NAME	Bartek Klin	SVM HeaderParse 0.2
AUTHOR AFFIL	Warsaw University, Edinburgh University	SVM HeaderParse 0.2
ABSTRACT	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 abstracts 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 approach to modal logic is described, as an abstract approach to proving compositionality by decomposing modal logics over structural operational specifications. Keywords:	SVM HeaderParse 0.2
YEAR	2007	INFERENCE
VENUE	ENTCS	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
CITATIONS	41 found	ParsCit 1.0