Behavioural type systems, usually associated to concurrent or distributed computations,
encompass concepts such as interfaces, communication protocols, and contracts, in addition …

Behavioural contracts are formal specifications of interaction protocols between two or more
distributed services. Despite the heterogeneous nature of the formalisms for behavioural …

We investigate the relations between two automata-based models for describing and
studying distributed services, called contract automata and communicating machines. In the …

This paper explores the connection between software contracts and smart contracts. Despite
the assonance, these two terms denote quite different concepts: software contracts are …

We propose a type system for a calculus of contracting processes. Processes may stipulate
contracts, and then either behave honestly, by kee** the promises made, or not. Type …

Event structures are one of the classical models of concurrent systems. The idea is that an
enabling X⊢ e represents the fact that the event e can only occur after all the events in the …

We propose a type system for a calculus of contracting processes. Processes can establish
sessions by stipulating contracts, and then can interact either by kee** the promises …

We study the relations between a contract automata and an interaction model. In the former
model, distributed services are abstracted away as automata-oblivious of their partners-that …

We present a theory of contracts. Contracts are interacting processes with an explicit notion
of obligations and objectives. We model processes and their obligations as event structures …

Today's software systems are highly distributed and interconnected, and they increasingly
rely on communication to achieve their goals; due to their societal importance, security and …