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]

Abstract

Abstract is missing.