LDR 01056cam 2200253 a 4500 001 566640 005 20061116115334.0 008 060804s2006 nz b 000 0 eng d 035 _a 11102709 035 _9 11102709 040 _a HU _c HU 050 14 _a QA75.5 _b .W926 no.2006/07 100 1 _a Reeves, Steve, _d 1957- 245 10 _a Liberalising Event B without changing it / _c Steve Reeves and David Streader. 260 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c 2006. 300 _a 11 p. ; _c 30 cm. 490 1 _a Working paper, _x 1170-487X ; _v 07/2006 504 _a Includes bibliographical references (p. 11). 650 0 _a B method (Computer science) 650 0 _a Parallel processing (Electronic computers) 700 1 _a Streader, David. 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 2006/07. 856 4 _u http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-07.pdf _z http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-07.pdf