"Semantics-preserving translations between linear concurrent constraint ..."

Thierry Martinez (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics