University of Bologna has world-leading researchers in models and programming languages for service-oriented computing, microservices and cloud applications, with a specific emphasis on typing systems, process algebra and co-inductive techniques.
We discuss the relationship between session types and behavioural contracts under the assumption that processes communicate asynchronously. We show the existence of a fully abstract interpretation of session types into
We recall techniques, mainly based on the theory of process calculi, that we used to prove results in twenty years of research, spanning across the old and the new millennium,
Following previous work on the automated deployment of componentbased applications, we present a formal model specifically tailored for reasoning on the deployment of microservice architectures. The first result that we
Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a very important notion for dealing with such types
Abstract: We discuss some of the proposals in the literature about contract theories and session types dealing with asynchronous communication. Assuming that communication is mediated by buffers, notions of compatibility,
Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is undecidable. However, since session types