3 citations · 5 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Logic Programming with Multiplicative Structures
Matteo Acclavio, Roberto Maieli
In the logic programming paradigm, a program is defined by a set of methods, each of which can be executed when specific conditions are met during the current state of an execution…