[PL-sem-jr] Talk tomorrow, Thu 1/20

Vincent St-Amour stamourv at ccs.neu.edu
Wed Jan 20 15:53:35 EST 2010

The seminar will be held in West Village C 140. And will be tomorrow

If we like it, we can keep it for the rest of the semester. Let's
discuss it tomorrow.


At Wed, 20 Jan 2010 12:48:01 -0500,
Vincent St-Amour wrote:
> Mon 1/20, Room TBA 1:30-3:00
> Aaron
> Reasoning about concurrency
> Concurrency allows processes to observe and influence each other *as*
> they compute, rather than *between* computations.  This
> simple-sounding change has radical consequences for programming in and
> reasoning about languages.
> The talk will start off with a brief discussion on paradigms of
> concurrency, and motivate the need for compositional approaches to
> concurrency.  We will see both linguistic and logical tools that help
> achieve compositionality.  The majority of our time will then be spent
> exploring a particular, compositional approach to reasoning about
> concurrency, known as Rely/Guarantee.  We'll cover the full R/G logic,
> its semantics, its proof of soundness -- and we'll apply it to a
> nontrivial concurrent program.
> Time permitting, we may also see one of (1) concurrent separation
> logic or (2) message-passing concurrency a la CCS & pi-calculus.
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr

More information about the Pl-sem-jr mailing list