52 citations · 67 across the 3 of their papers we have counts for
3 papers
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We…
SUNNY: a Lazy Portfolio Approach for Constraint Solving
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
*** To appear in Theory and Practice of Logic Programming (TPLP) *** Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between differ…
Decidability properties for fragments of CHR
Maurizio Gabbrielli abd Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols…