"Bisimulation Techniques and Algorithms for Concurrent Constraint ..."

Andrés A. Aristizábal P. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics