[PL-sem-jr] Talk tomorrow, Thu 11/8

[Vincent St-Amour]

Mon 11/8, Room WVH166 12:30-2:30

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.