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

[Vincent St-Amour]

Tomorrow's talk has been cancelled.

Vincent


At Sun, 07 Nov 2010 10:06:39 -0500,
Vincent St-Amour wrote:
> 
> 
> 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.
> 
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr