6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LO2002★ 6 cited
Proving correctness of Timed Concurrent Constraint Programs
F. S. de Boer, M. Gabbrielli, M. C. Meo
A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a proces…
cs.PL2001
Transformations of CCP programs
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input…