News‎ > ‎

Notes on contract-oriented computing

posted Mar 27, 2013, 1:51 PM by Massimo Bartoletti   [ updated Mar 27, 2013, 2:02 PM ]
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:
Ċ
Massimo Bartoletti,
Mar 27, 2013, 1:51 PM
Ċ
Massimo Bartoletti,
Jan 9, 2014, 12:58 AM
Comments