Formal methods for concurrency /
Fencott, Clive.
London : International Thomson Computer Press,
1996.
Bibliography: p283-284. -  Includes index
Parallel processing (Electronic computers)