Flickr
Digg
Pinterest
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]