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.
In Choreographic Programming, a choreography specifies in a single artefact the expected behaviour of all the participants in a distributed system. The choreography is used to synthesise correct-by-construction programs for
Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and
Abstract: Choreographic Programming exploits choreographies as a programming language. We will introduce choreographic programming, and showcase its use for programming distributed applications which are: dynamically updatable by including new code