SPADES: a stochastic process algebra for discrete event simulation (2000)

by P G Harrison, B Strulo
Venue:J. of Logic and Computation