The Probabilistic π-Calculus and Event Structures (2007)

by D Varacca, N Yoshida
Venue:In QAPL’07, ENTCS