BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Bialgebras and modal logic - Bartek Klin\, University of Edinburgh
DTSTART:20061110T140000Z
DTEND:20061110T150000Z
UID:TALK5666@talks.cam.ac.uk
CONTACT:Tom Ridge
DESCRIPTION:Bialgebraic semantics is a categorical approach to modelling w
 ell-behaved structural operational semantics (SOS)\, parametrised by notio
 ns of syntax and behaviour. Invented by Turi and Plotkin a decade ago\, it
  allows us to derive formats for SOS descriptions of various "kinds" of sy
 stems (including labelled transition systems\, probabilistic or timed syst
 ems etc.) in a systematic way. In each case\, the canonical process equiva
 lence related to the "kind"\, or behaviour of systems\, is guaranteed comp
 ositional. The well-known GSOS format can be seen as a special case of the
  bialgebraic approach\, where the behaviour is the one for labelled transi
 tion systems and bisimilarity is compositional.\n\nThe original bialgebrai
 c setting deals only with a single\, canonical equivalence for each behavi
 our. In this talk I will show how to make the setting more flexible to acc
 ommodate other equivalences\, e.g.\, trace or completed trace equivalences
  for labelled transition systems. To this end\, I will show how to combine
  bialgebraic techniques with the coalgebraic approach to modal logic\, to 
 obtain "logical duals" to structural operational semantic descriptions. 
LOCATION:FW11
END:VEVENT
END:VCALENDAR