17 citations · 17 across the 1 of their papers we have counts for
1 paper
Victor Dyseryn, Rob van Glabbeek, Peter Höfner
In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols wi…