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