Microservices is an architectural style inspired by service-oriented computing that has
recently started gaining popularity. Before presenting the current state of the art in the field …

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

Communication is becoming one of the central elements in software development. As a
potential typed foundation for structured communication-centred programming, session …

Communication is a central elements in software development. As a potential typed
foundation for structured communication-centered programming, session types have been …

Smart contracts are a key component of today's blockchains. They are critical in controlling
decentralized autonomous organizations (DAO). However, smart contracts are not yet …

A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …

A multiparty session forms a unit of structured interactions among many participants which
follow a prescribed scenario specified as a global type signature. This paper develops …

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that
formalizes the compatibility of a client with a service, and the safe replacement of a service …

A multiparty session forms a unit of structured communication among many participants
which follow communication sequences specified as a global type. When a process is …

Global types are formal specifications that describe communication protocols in terms of
their global interactions. We present a new, streamlined language of global types equipped …