[PL-sem-jr] Talk tomorrow, Thu 1/20
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
> 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
More information about the Pl-sem-jr