A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia. A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. In Gabriel Ciobanu, Dominique Méry, editors, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Volume 8687 of Lecture Notes in Computer Science, pages 351-368, Springer, 2014. [doi]

Authors

Luis Fernando Pino

This author has not been identified. Look up 'Luis Fernando Pino' in Google

Filippo Bonchi

This author has not been identified. Look up 'Filippo Bonchi' in Google

Frank D. Valencia

This author has not been identified. Look up 'Frank D. Valencia' in Google