SPADES - a process algebra for discrete event simulation. - Peter G. Harrison; B. Strulo (J. Log. Comput., 2000)