University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Specifying pointwise operations on final coalgebras

Helle Hansen, Eindhoven University of Technology
Flowin'Cat 2010, October 2010, University of Oxford

Coalgebras for a functor F can model many types of state-based systems relevant to computer science. Final coalgebras capture system behaviours such as streams, infinite trees and processes. Algebraic operations on a final F-coalgebra can be defined by distributive laws (of a syntax functor S over the behaviour functor F). Such distributive laws correspond to abstract specification formats. One such format is the abstract GSOS format known from structural operational semantics of processes. I will show how to construct from a GSOS specification that defines operations \sigma on a final F-coalgebra, a GSOS specification which defines the pointwise extension of \sigma on the final F^A-coalgebra.

[video] [streaming video] [slides]