The stochastic π-calculus, (1995)

by C Priami
Venue:The Computer Journal