import/CMSwp-all.00000101/00000139.nul indexed_doc NulPlugin 0 00000139.nul 00000139.nul CMSwp-all.00000101/00000139.nul 1 Streader, David. University of Waikato. Dept. of Computer Science. Reeves, Steve, 1957- 2006. Includes bibliographical references (p. 11). Dept. of Computer Science, University of Waikato, Hamilton, N.Z. : B method (Computer science) Parallel processing (Electronic computers) Liberalising Event B without changing it / Steve Reeves and David Streader. 00000139 HASH0191991784c76aea7de89d67 1395194707 20140319 1395194845 20140319 HASH0191/991784c7.dir This document has no text.