Leslie Lamport Digital Equipment Corporation, 130 Lytton Avenue, Palo Alto,...  Home/Search
Context Related
| microsoft.com/user...tpossibility.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/u...tml#timeclocks (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A method is described for proving "always possibly" properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA (Temporal Logic of Actions) specifications. (Update)
Similar documents based on text: More All
0.6: Proving Possibility Properties - Lamport (1997) (Correct)
0.1: Reduction in TLA - Cohen, Lamport (1998) (Correct)
0.1: An Old-Fashioned Recipe for Real Time - Abadi, Lamport (1993) (Correct)
BibTeX entry: (Update)
L. Lamport. Proving possibility properties. Technical Report 137, Digital Equipment Corporation, Systems Research Center, July 1995. http://citeseer.ist.psu.edu/lamport95proving.html More
@article{ lamport98proving,
author = "Leslie Lamport",
title = "Proving possibility properties",
journal = "Theoretical Computer Science",
volume = "206",
number = "1--2",
pages = "341--352",
year = "1998",
url = "citeseer.ist.psu.edu/lamport95proving.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
725 Temporal and modal logic (context) - Emerson - 1990
293 Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
214 An old-fashioned recipe for real time - Abadi, Lamport - 1994
120 ACM Transactions on Programming Languages and Systems (context) - Lamport, logic - 1994
85 Recognizing safety and liveness - Alpern, Schneider - 1987
35 win and sin: Predicate transformers for concurrency - Lamport - 1990
14 Specifying modules to satisfy interfaces: A state transition.. (context) - Lam, Shankar - 1992
13 Sometime' is sometimes `not never': A tutorial on the tempor.. (context) - Lamport - 1980
9 Ten years of Hoare's logic: A survey---part one (context) - Apt - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/users/lamport/pubs/pubs.html#time-clocks): More
Lower Bounds on Consensus - Lamport (2000) (Correct)
High-Level Specifications: Lessons from Industry - Batson, Lamport (2003) (Correct)
Formal Specification of a Web Services Protocol - Johnson (2004) (Correct)
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