Choreographic programming is a paradigm where a concurrent or distribute...
Choreographic programming is a paradigm for writing coordination plans f...
We formally define and implement a translation from domain models in the...
We propose a new interpretation of choreographies as functions, whereby
...
Initiated by Abramsky [1994], the Proofs as Processes agenda is to estab...
In the field of microservices, Model-Driven Engineering has emerged as a...
We propose Sliceable Monolith, a new methodology for developing microser...
Choreographic programming is a paradigm for developing concurrent and
di...
Theory of choreographic languages typically includes a number of complex...
Software Transactional memory (STM) is an emerging abstraction for concu...
We present Choral, the first framework for programming choreographies
(m...
Directed bigraphs are a meta-model which generalises Milner's bigraphs b...
In modern cloud-based architectures, containers play a central role: the...
Graph transformation approaches have been successfully used to analyse a...
The aim of the paper is to build a connection between two approaches tow...
Process calculi based on logic, such as πDILL and CP, provide a
foundati...
Serverless computing, also known as Functions-as-a-Service, is a recent
...
We present Hypersequent Classical Processes (HCP), a revised interpretat...
We introduce the calculus of Classical Transitions (CT), which extends t...
Choreographies are global descriptions of communication structures, insp...
Timed automata, and machines alike, currently lack a general mathematica...
Choreographic Programming is a paradigm for developing
correct-by-constr...
A crucial problem for many results and tools about bigraphs and bigraphi...