Semantics of an optional parallel operator for CSP - Gruner, Stefan (University of Pretoria, 2015)
Dissertation (MEng) -- University of Pretoria 2015.