Concurrency and enriched bicategories
Mike Stay ( Google and the University of Auckland )
- 14:00 20th April 2012 ( week 0, Trinity Term 2012 )Room 051, Department of Computer Science
I'll introduce Boudol's blue calculus, a formal system for describing concurrent computation. Inspired by his typing rules, I propose that we should look at cartesian closed bicategories enriched over SymMonCat for a categorical semantics of concurrency.
Share this:
