"Efficient computation of program equivalence for confluent concurrent ..."

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