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

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