SPADES - a process algebra for discrete event simulation

Abstract

Journal Article SPADES - a process algebra for discrete event simulation Get access PG Harrison, PG Harrison Search for other works by this author on: Oxford Academic Google Scholar B Strulo B Strulo Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 10, Issue 1, February 2000, Pages 3–42, https://doi.org/10.1093/logcom/10.1.3 Published: 01 February 2000