44 citations · 217 across the 40 of their papers we have counts for
49 papers
Accompanist: A Runtime for Resilient Choreographic Programming
Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti +1
In service-oriented architecture, services coordinate in one of two ways: directly, using point-to-point communication, or indirectly, through an intermediary called the orchestrat…
Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
Matteo Acclavio, Giulia Manara, Fabrizio Montesi
We introduce a novel approach to studying properties of processes in the π-calculus based on a processes-as-formulas interpretation, by establishing a correspondence between specif…
A Conceptual Framework for API Refactoring in Enterprise Application Architectures
Fabrizio Montesi, Marco Peressotti, Valentino Picotti +1
Enterprise applications are often built as service-oriented architectures, where the individual services are designed to perform specific functions and interact with each other by…
On Propositional Dynamic Logic and Concurrency
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
Dynamic logic is a powerful approach to reasoning about programs and their executions, obtained by extending classical logic with modalities that can express program executions as…
Ozone: Fully Out-of-Order Choreographies
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
Choreographic programming is a paradigm for writing distributed applications. It allows programmers to write a single program, called a choreography, that can be compiled to genera…
Reasoning about Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi +1
Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interaction…