Behavioural contracts

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