Semantics of parallelism : non-interleaving representation of behaviour /

Bibliographic Details
Main Author: Shields, Michael W. (Michael William), 1950- (συγγραφέας.)
Format: Book
Language:English
Published: London ; New York : Springer, c1997.
Subjects:
Description
Physical Description:xiii, 473 σ. : εικ. ; 24 εκ.
Bibliography:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:3540760598 (χαρτόδετο)