38 citations · 119 across the 20 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 5 cited
Applied Choreographies
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Choreographic Programming is a correct-by-construction paradigm where a compilation procedure synthesises deadlock-free, concurrent, and distributed communicating processes from gl…
cs.AI2015★ 8 cited
A Multicore Tool for Constraint Solving
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Opt…