29 citations · 51 across the 18 of their papers we have counts for
1 paper · 1 filter
Lei Song, Flemming Nielson, Bo Friis Nielsen
In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant.…