[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Lamport87

  1. Leslie Lamport
  2. win and sin: Predicate Transformers for Concurrency
  3. Report 17 Systems Research Center Digital Equipment Corpn May 1st 1987
  4. =THEORY non-sequential formal

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]