Specification and verification of concurrent systemsby C. RattrayParallel processing (Electronic computers)CongressesWriting a summary for young readers…For young readersBook data: Open Library