Skip to main content

Concurrency and enriched bicategories

Mike Stay ( Google and the University of Auckland )

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: