research
∙
04/27/2023
Reasoning about Choreographic Programs
Choreographic programming is a paradigm where a concurrent or distribute...
share
research
∙
03/08/2023
Alice or Bob?: Process Polymorphism in Choreographies
We present PolyChorλ, a language for higher-order functional choreograph...
research
∙
03/07/2023
Real-World Choreographic Programming: An Experience Report
Choreographic programming is a programming paradigm, whereby the overall...
research
∙
03/07/2023
Certified Compilation of Choreographies with hacc
Programming communicating processes is challenging, because it requires ...
research
∙
02/28/2023
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols
Choreographic programming is a paradigm where developers write the globa...
research
∙
09/05/2022
A Formal Theory of Choreographic Programming
Choreographic programming is a paradigm for writing coordination plans f...
research
∙
07/18/2022
From Infinity to Choreographies: Extraction for Unbounded Systems
Choreographies are formal descriptions of distributed systems, which foc...
research
∙
02/23/2022
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
We formally define and implement a translation from domain models in the...
research
∙
11/05/2021
Choreographies as Functions
We propose a new interpretation of choreographies as functions, whereby ...
research
∙
06/22/2021
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes
Initiated by Abramsky [1994], the Proofs as Processes agenda is to estab...
research
∙
04/06/2021
Jolie LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
In the field of microservices, Model-Driven Engineering has emerged as a...
research
∙
03/17/2021
Sliceable Monolith: Monolith First, Microservices Later
We propose Sliceable Monolith, a new methodology for developing microser...
research
∙
02/21/2021
Certifying Choreography Compilation
Choreographic programming is a paradigm for developing concurrent and di...
research
∙
02/04/2021
Formalising a Turing-Complete Choreographic Language in Coq
Theory of choreographic languages typically includes a number of complex...
research
∙
05/19/2020
Choreographies as Objects
We present Choral, the first framework for programming choreographies (m...
research
∙
10/25/2019
Implementing choreography extraction
Choreography extraction deals with the generation of a choreography (a g...
research
∙
04/25/2019
Ephemeral Data Handling in Microservices - Technical Report
In modern application areas for software systems --- like eHealth, the I...
research
∙
04/15/2019
Taking Linear Logic Apart
Process calculi based on logic, such as πDILL and CP, provide a foundati...
research
∙
03/19/2019
No more, no less - A formal model for serverless computing
Serverless computing, also known as Functions-as-a-Service, is a recent ...
research
∙
11/06/2018
Better Late Than Never: A Fully Abstract Semantics for Classical Processes
We present Hypersequent Classical Processes (HCP), a revised interpretat...
research
∙
08/15/2018
Multiparty Classical Choreographies
We present Multiparty Classical Choreographies (MCC), a language model w...
research
∙
04/24/2018
Connectors meet Choreographies
We present Cho-Reo-graphies (CR), a new language model that unites two p...
research
∙
03/02/2018
Classical Transitions
We introduce the calculus of Classical Transitions (CT), which extends t...
research
∙
02/08/2018
Classical Higher-Order Processes
Classical Processes (CP) is a calculus where the proof theory of classic...
research
∙
01/24/2018
Choreographies for Reactive Programming
Modular programming is a cornerstone in software development, as it allo...
research
∙
12/14/2017
Choreographies meet Communication Failures
Choreographies are global descriptions of communication structures, insp...
research
∙
11/30/2017
On Asynchrony and Choreographies
Choreographic Programming is a paradigm for the development of concurren...
research
∙
11/28/2017
Communications in Choreographies, Revisited
Choreographic Programming is a paradigm for developing correct-by-constr...
research
∙
11/23/2017