Efficient computation of program equivalence for confluent concurrent constraint programming.

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia

Browse the full PPDP paper archive.