CC Programs with both In- and Non-determinism: A Concurrent Semantics

Ugo Montanari, Francesca Rossi, Vijay A. Saraswat. CC Programs with both In- and Non-determinism: A Concurrent Semantics. In Alan Borning, editor, Principles and Practice of Constraint Programming, Second International Workshop, PPCP 94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings. Volume 874 of Lecture Notes in Computer Science, pages 162-172, Springer, 1994.

Abstract

Abstract is missing.