News‎ > ‎

Betty Summer School 2016

posted Jul 2, 2016, 2:36 AM by Massimo Bartoletti

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
Comments