research
∙
04/27/2023
Reasoning about Choreographic Programs
Choreographic programming is a paradigm where a concurrent or distribute...
share
research
∙
09/05/2022
A Formal Theory of Choreographic Programming
Choreographic programming is a paradigm for writing coordination plans f...
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
∙
07/17/2020
Software Transactional Memory with Interactions
Software Transactional memory (STM) is an emerging abstraction for concu...
research
∙
05/19/2020
Choreographies as Objects
We present Choral, the first framework for programming choreographies (m...
research
∙
03/19/2020
A CSP implementation of the directed bigraph embedding problem
Directed bigraphs are a meta-model which generalises Milner's bigraphs b...
research
∙
12/02/2019
Towards a Formal Model for Composable Container Systems
In modern cloud-based architectures, containers play a central role: the...
research
∙
10/29/2019
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework
Graph transformation approaches have been successfully used to analyse a...
research
∙
06/13/2019
Two modes of recognition: algebra, coalgebra, and languages
The aim of the paper is to build a connection between two approaches tow...
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
∙
03/02/2018
Classical Transitions
We introduce the calculus of Classical Transitions (CT), which extends t...
research
∙
12/14/2017
Choreographies meet Communication Failures
Choreographies are global descriptions of communication structures, insp...
research
∙
11/28/2017
A Uniform Framework for Timed Automata and Beyond
Timed automata, and machines alike, currently lack a general mathematica...
research
∙
11/28/2017
Communications in Choreographies, Revisited
Choreographic Programming is a paradigm for developing correct-by-constr...
research
∙
12/01/2014
