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

Bibliographic Item (1.0)

Lamport86b

  1. Leslie Lamport
  2. A Simple Approach To Specifying Concurrent Systems
  3. Report 15 Systems Research Center Digital Equipment Corpn Dec 25th 1986
  4. =THEORY non-sequential formal specification

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]