Efficient algorithms for program equivalence for confluent concurrent constraint programming

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia. Efficient algorithms for program equivalence for confluent concurrent constraint programming. Science of Computer Programming, 111:135-155, 2015. [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