LDR 01108cam  2200265 a 4500
001     566639
005     20061116115409.0
008     060804s2006    nz       b    000 0 eng d
035    _a 11102705
035    _9 11102705
040    _a HU
       _c HU
050 14 _a QA75.5
       _b .W926 no.2006/08
100 1  _a Reeves, Steve,
       _d 1957-
245 10 _a LSB =
       _b Live and Safe B : alternative semantics for Event B /
       _c Steve Reeves and David Streader.
246 33 _a Live and Safe B
260    _a Hamilton, N.Z. :
       _b Dept. of Computer Science, University of Waikato,
       _c 2006.
300    _a 16 p. ;
       _c 30 cm.
490 1  _a Working paper,
       _x 1170-487X ;
       _v 08/2006
504    _a Includes bibliographical references (p. 15-16).
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/08.
856 4  _u
 http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf
       _z
 http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-08.pdf