"On the Expressive Power of Restriction and Priorities in CCS with Replication."

Jesús Aranda, Frank D. Valencia, Cristian Versari (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics