1.1k citations · 2.1k across the 73 of their papers we have counts for
1 paper · 1 filter
Catuscia Palamidessi
The Asynchronous pi-calculus, as recently proposed by Boudol and, independently, by Honda and Tokoro, is a subset of the pi-calculus which contains no explicit operators for choice…