13 citations · 76 across the 15 of their papers we have counts for
1 paper · 1 filter
D. Cacciagrano, F. Corradini, C. Palamidessi
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in…