Confluence and Concurrent Constraint Programming (1995)

by M Falaschi, M Gabbrielli, K Marriott, C Palamidessi
Venue:Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST). Volume 936 of Lecture Notes in Computer Science