[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Leslie Lamport
- Processes are in the Eye of the Beholder
- Report #132 from Systems Research Center Digital Equipment Corpn(25th Dec 1994)
- =THEORY NONSEQUENTIAL LOGIC
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
[ src-rr.html ]
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]