Semantics of parallelism : non-interleaving representation of behaviour - Shields, Michael W. (Michael William), 1950- (Springer, 1997)