Palamidessi, Catuscia
-
BRICS Report Series No. 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus - Articles
A Temporal Concurrent Constraint Programming Calculus
Abstract PDF -
BRICS Report Series No. 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages - Articles
On the Expressive Power of Concurrent Constraint Programming Languages
Abstract PDF