Infinite Behaviour and Fairness in Concurrent Constraint Programming

Marta Z. Kwiatkowska. Infinite Behaviour and Fairness in Concurrent Constraint Programming. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Volume 666 of Lecture Notes in Computer Science, pages 348-383, Springer, 1992.

Abstract

Abstract is missing.