1.1k citations · 2.1k across the 73 of their papers we have counts for
1 paper · 2 filters
Catuscia Palamidessi
The Asynchronous pi-calculus, proposed by Honda and Tokoro (1991) and, independently, by Boudol (1992), is a subset of the pi-calculus (Milner, 1992) which contains no explicit ope…