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

Bibliographic Item (1.0)

Lamport94a

  1. Leslie Lamport
  2. Processes are in the Eye of the Beholder
  3. Report #132 from Systems Research Center Digital Equipment Corpn(25th Dec 1994)
  4. =THEORY NONSEQUENTIAL LOGIC
      (abstract) A two-process algorithm is shown to be equivalent to an N-process one, illustrating the insubstantiality of processes. A completely formal equivalence proof in TLA (the Temporal Logic of Actions) is sketched. [ src-rr.html ]


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]