Post date: 02-Jul-2016 09:36:34
A short course on behavioural contracts was given at the BETTY Summer School 2016, held in Limassol (Cyprus) from June 27 to July 1, 2016. The teaching material is included below.
0. Introduction
1. Contracts as games
2. Timed session types
3. Contract-oriented computing