12 citations · 13 across the 4 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.…