research
∙
07/25/2023
An Axiomatic Theory for Reversible Computation
Undoing computations of a concurrent system is beneficial in many situat...
share
research
∙
05/25/2023
AI Techniques in the Microservices Life-Cycle: A Survey
Microservices is a popular architectural style for the development of di...
research
∙
12/07/2022
revTPL: The Reversible Temporal Process Language
Reversible debuggers help programmers to find the causes of misbehaviour...
research
∙
10/15/2022
A Theory of Formal Choreographic Languages
We introduce a meta-model based on formal languages, dubbed formal chore...
research
∙
08/09/2022
On Composing Communicating Systems
Communication is an essential element of modern software, yet programmin...
research
∙
05/13/2022
Design-by-Contract for Flexible Multiparty Session Protocols – Extended Version
Choreographic models support a correctness-by-construction principle in ...
research
∙
07/14/2021
Composition of choreography automata
Choreography automata are an automata-based model of choreographies, tha...
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
∙
06/19/2018