"A Multiset Semantics for the pi-Calculus with Replication."

Joost Engelfriet (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics