6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 6 cited
A Simple Probabilistic Extension of Modal Mu-calculus
Wanwei Liu, Lei Song, Ji Wang +1
Probabilistic systems are an important theme in AI domain. As the specification language, the logic PCTL is now the default logic for reasoning about probabilistic properties. In t…
cs.PF2011★ 1 cited
A Stochastic Broadcast Pi-Calculus
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.…