Ugo Montanari Francesca Rossi Concurrency and Concurrent Constraint Programming 171-192 Constraint Programming journals/lncs/1994-910 1994 db/journals/lncs/lncs910.html#MontanariR94