"Efficient algorithms for program equivalence for confluent concurrent ..."

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics