Personal tools
You are here: Home Events Lab lunch speakers 2010 Stephen Gilmore

Stephen Gilmore

High-performance process algebra

I'll reflect on the often-asked question "If process algebras were cars, how long would it take to drive to the moon?'

Document Actions