44 citations · 217 across the 40 of their papers we have counts for
3 papers · 1 filter
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…