Peter G. Harrison, B. Strulo. SPADES - a process algebra for discrete event simulation. Journal of Logic and Computation, 10(1):3-42, 2000.
@article{HarrisonS00,
title = {SPADES - a process algebra for discrete event simulation},
author = {Peter G. Harrison and B. Strulo},
year = {2000},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/HarrisonS00},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {10},
number = {1},
pages = {3-42},
}