"A Congruence Rule Format for Name-Passing Process Calculi from ..."

Marcelo P. Fiore, Sam Staton (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics