Notes on contract-oriented computing

Post date: 27-Mar-2013 20:51:04

I have published some notes for the short course on "Concurrency and Security". The notes contain:

  • an introduction to concurrency theory (and to the pi-calculus),
  • a review of our event-based contract model,
  • a variant of the calculus CO2 which uses the above contracts,
  • a mini project.

The deadline for submitting the project is April 15, 2013.

Additional references: