PL seminar - Benjamin C. Pierce

• To: plseminar@cs.indiana.edu
• Subject: PL seminar - Benjamin C. Pierce
• From: Y. Annie Liu <liu@school.cs.indiana.edu>
• Date: Mon, 21 Oct 1996 17:00:41 -0500 (EST)
• Cc: cs.students.grad,cs.colloq

		    Programming Languages Seminar
 		        Friday, Oct.25, 1996
  		         10am-11am, LH 101

    PROCESS CALCULUS PRIMITIVES FOR FAULT TOLERANCE AND MIGRATION

                        Benjamin C. Pierce

The pi-calculus has is used as a tool for modeling and analyzing
distributed systems, but it does not offer a good programming model
for *implementing* distributed systems, since it focuses on processes
communicating over channels and completely ignores the question of
where these processes are running.  This shortcoming has led to
various proposals to extend the pi-calculus or a similar process
calculus with new primitives dealing with
  - physical distribution of processes
  - failure detection and recovery
  - process migration.

Ultimately, the aim is to use calculi with such primitives as the
foundations for new distributed programming languages, adding
high-level syntactic forms, type systems, etc. in the same way as the
concurrent language Pict is built up from the pi-calculus.

In this informal talk I'll summarize one effort that is now receiving
a good deal of attention in the concurrency community: the Distributed
Join Calculus under development at INRIA-Roquencourt.

A paper on this calculus is available in /u/pierce/djoin.ps.

• Prev: PL seminar - Dennis Gannon
• Next: PL seminar - Oscar Waddell and Kent Dybvig
• Index(es):
  • Main
  • Thread