Betty Summer School 2016

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

• Slides

1. Contracts as games

• Slides
• Paper: Contracts as games on event structures
• Paper: Vicious circles in contracts and in logic

2. Timed session types

• Slides
• Paper: Times session types
• Paper: A contract-oriented middleware
• Website: co2.unica.it

3. Contract-oriented computing

• Slides
• Paper: Verifiable abstractions for contract-oriented systems
• Paper: Honesty by typing
• Website: co2.unica.it/diogenes