Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
The Mutual Exclusion Problem - Part II: Statement and Solutions - Lamport (2000) (38 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190--222, April 1983.
Substitution: Syntactic versus Semantic - Lamport (1998) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994. 4
The Existence of Refinement Mappings - Mart'in Abadi And (1991) (231 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190-- 222, April 1983.
Proving Possibility Properties - Leslie Lamport Digital (1995) (5 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
Refinement in State-Based Formalisms - Lamport (1996) (3 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
Disk Paxos - Gafni, Lamport (2002) (9 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
Specifying Concurrent Systems with TLA+ - Lamport (1999) (4 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
Fairness and Hyperfairness - Leslie Lamport May (1988) (4 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
Processes are in the Eye of the Beholder - Lamport (1996) (2 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
Lazy Caching in TLA - Ladkin, Lamport, Olivier, Roegel (1999) (10 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
Specifying and Verifying Fault-Tolerant Systems - Lamport (1994) (24 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190--222, April 1983.
Reduction in TLA - Cohen, Lamport (1998) (12 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
A Global Semantics for Views - Long Version Last (Correct)
No context found.
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, 1994.
Specif --- - Research Report September (Correct)
No context found.
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, ####.
The Safety and Liveness Properties of a Protocol Family - For Versatile Survivable (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382--401. ACM, July 1982.
Efficient Byzantine-tolerant erasure-coded storage - Garth Goodson Jay (2003) (6 citations) (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382--401. ACM, July 1982.
A Protocol Family for Versatile Survivable Storage - Infrastructures Garth Goodson (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382--401. ACM, July 1982.
Notes On The Design Of An Internet Adversary - David Rosenthal Petros (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382-- 401, July 1982.
Towards Unifying Semantic Constraints and Security.. - Biskup, Sprick (2003) (Correct)
No context found.
Leslie Lamport. A temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, 1994.
A Logical View of Composition - Abadi, Plotkin (1992) (4 citations) (Correct)
No context found.
Leslie Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190--222, April 1983.
Historic Integrity In Distributed Systems - And The Committee (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382-- 401, July 1982.
A Global Semantics for Views - Choppy, Poizat, Royer (2000) (1 citation) (Correct)
No context found.
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, 1994.
Detecting Malicious Routers - Mizrak, Marzullo, Savage (2004) (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems (TOPLAS), 4(3):382--401, 1982.
The Safety and Liveness Properties of a Protocol.. - Goodson, Wylie.. (2004) (2 citations) (Correct)
No context found.
Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382--401. ACM, July 1982.
On the Horizontal Dimension of Software Architecture in.. - Katara, Kurki-Suonio.. (2004) (Correct)
No context found.
Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872--923, May 1994.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC