Models and Languages for Concurrency and Mobility
Spring 2002
Lars Birkedal
Papers and Resources
Bob Harper:
Notes on Induction
Luca Cardelli:
Mobile Ambients
Luca Cardelli:
Mobility and Security
Peter Sewell:
Applied Pi -- A Brief Tutorial
Benjamin Pierce and David Turner: The PICT Programming Language. Home page with papers and implementation:
here
Uwe Nestmann's page on
Calculi for Mobile Processes
[
Home
|
Schedule
|
Assignments
| Papers ]
Lars Birkedal
birkedal@it-c.dk