[PL-sem-jr] Talk thursday, Thu 02/03

[Vincent St-Amour]

Thu 02/03, Room WVH166 10:00-12:00

Tony Garnock-Jones - Concurrency (not parallelism)

A concurrent system is a system in which many distinct things are 
happening simultaneously, and potentially interacting with each other. 
Reasoning about such systems is difficult, and has led to a lot of 
fruitful research. I'll attempt to cover some of the broad history of 
the field of concurrency and concurrency control, and will then focus on 
a specific family of models of concurrent computation, namely process 
algebras, and some of their applications.