Stochastic π-calculus (1995)

by C Priami
Venue:The Computer Journal