A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Browse the full ICTAC paper archive.