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