Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
16th February 2005: Ian Stark
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > 16th February 2005: Ian Stark

Speaker: Ian Stark, University of Edinburgh
Title: Free-Algebra Models for the Pi-Calculus
Time: 16th February 2005, 14:00
Venue: William Gates Building, room FW26

I shall show how to generate models for the pi-calculus as free algebras for an equational theory; where the theory has separate components for name creation, communication of names over channels, and nondeterminism. This provides a modular characterisation of pi-calculus models, full abstraction for bisimulation congruence, a Moggi-style computational monad, and the bonus of an accompanying modal logic. The only tricky part is that it all has to be done within the functor category SetI, using some general results of Power and Plotkin about enriched Lawvere theories.