"Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus."

Diletta Cacciagrano et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics