
Jolie LEMMA: ModelDriven Engineering and Programming Languages Meet on Microservices
In the field of microservices, ModelDriven Engineering has emerged as a...
read it

Sliceable Monolith: Monolith First, Microservices Later
We propose Sliceable Monolith, a new methodology for developing microser...
read it

Certifying Choreography Compilation
Choreographic programming is a paradigm for developing concurrent and di...
read it

Formalising a TuringComplete Choreographic Language in Coq
Theory of choreographic languages typically includes a number of complex...
read it

Software Transactional Memory with Interactions
Software Transactional memory (STM) is an emerging abstraction for concu...
read it

Choreographies as Objects
We present Choral, the first framework for programming choreographies (m...
read it

A CSP implementation of the directed bigraph embedding problem
Directed bigraphs are a metamodel which generalises Milner's bigraphs b...
read it

Towards a Formal Model for Composable Container Systems
In modern cloudbased architectures, containers play a central role: the...
read it

A GraphBased Tool to Embed the πCalculus into a Computational DPO Framework
Graph transformation approaches have been successfully used to analyse a...
read it

Two modes of recognition: algebra, coalgebra, and languages
The aim of the paper is to build a connection between two approaches tow...
read it

Taking Linear Logic Apart
Process calculi based on logic, such as πDILL and CP, provide a foundati...
read it

No more, no less  A formal model for serverless computing
Serverless computing, also known as FunctionsasaService, is a recent ...
read it

Better Late Than Never: A Fully Abstract Semantics for Classical Processes
We present Hypersequent Classical Processes (HCP), a revised interpretat...
read it

Classical Transitions
We introduce the calculus of Classical Transitions (CT), which extends t...
read it

Choreographies meet Communication Failures
Choreographies are global descriptions of communication structures, insp...
read it

A Uniform Framework for Timed Automata and Beyond
Timed automata, and machines alike, currently lack a general mathematica...
read it

Communications in Choreographies, Revisited
Choreographic Programming is a paradigm for developing correctbyconstr...
read it

A CSP implementation of the bigraph embedding problem
A crucial problem for many results and tools about bigraphs and bigraphi...
read it
Marco Peressotti
is this you? claim profile