Behavioural contracts

0. Introduction

1. Contracts as games

2. Timed session types

3. Contract-oriented computing