Compositional Analysis for Concurrent Constraint Programming

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Browse the full LICS paper archive.