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 …

A large percentage of buildings in domestic orspecial-purpose is expected to become
increasingly" smarter" in the future, due to the immense benefits in terms of en-ergy saving …

Construction and analysis of distributed systems is difficult; choreographic programming is a
deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new …

This article provides a gentle introduction to multiparty session types, a class of behavioural
types specifically targeted at describing protocols in distributed systems based on …

Programming distributed applications free from communication deadlocks and race
conditions is complex. Preserving these properties when applications are updated at …

Abstract Mobility-as-a-Service (MaaS) applies the everything-as-a-service paradigm of
Cloud Computing to transportation: a MaaS provider offers to its users the dynamic …

Microservices is an emerging paradigm for the development of distributed systems that,
originating from Service-Oriented Architecture, focuses on the small dimension, the loose …

Microservices is an architectural style inspired by service-oriented computing that has
recently started gainingpopularity. Jolie is a programming language based on the …

Choreographic Programming is an emerging paradigm for correct-by-construction
concurrent programming. However, its applicability is limited by the current lack of support …