31 citations · 52 across the 9 of their papers we have counts for
3 papers · 1 filter
A Categorical Theory of Patches
Samuel Mimram, Cinzia Di Giusto
When working with distant collaborators on the same documents, one often uses a version control system, which is a program tracking the history of files and helping importing modif…
Adaptable processes
Mario Bravetti, Cinzia Di Giusto, Jorge A Perez +1
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns r…
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose…