"Locality and Polyadicity in Asynchronous Name-Passing Calculi."

Massimo Merro (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics