import/CMSwp-all.00000101/00000136.nul indexed_doc NulPlugin 0 00000136.nul 00000136.nul CMSwp-all.00000101/00000136.nul 1 Reeves, Steve, 1957- Streader, David. University of Waikato. Dept. of Computer Science. 2006. Includes bibliographical references (p. 15-16). http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, B method (Computer science) Parallel processing (Electronic computers) LSB = Live and Safe B : alternative semantics for Event B / Steve Reeves and David Streader. 00000136 HASH01318d16049767ea1ddc9be7 1487129791 20170215 1487129934 20170215 HASH0131/8d160497.dir This document has no text.