Lamport, L. 1983. What good is temporal logic? In Information Processing 83: Proceedings of the IFIP 9th World Congress, R. E. A. Mason, Ed. North-Holland, Amsterdam, 657--668. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Stuttering-Insensitive Automata for On-the-fly Detection .. - Hansen, Penczek, Valmari (2002) (Correct)
A Verification Environment for I/O Automata - Müller (1998) (Correct)
Simple Representative Instantiations for Multicast Protocols - Esparza, Maidl (Correct)
An Application of Abstraction and Induction Techniques to.. - Miller, Calder (2003) (Correct)
An Application of Abstraction and Induction Techniques to.. - Miller, Calder (Correct)
Hybrid I/O Automata - Lynch, Segala, al. (1996) (6 citations) (Correct)
Hybrid I/O Automata - Lynch, Segala, Vaandrager (1996) (6 citations) (Correct)
An Improvement in Formal Verification - J.Holzmann, Peled (1994) (83 citations) (Correct)
Verifying Temporal Properties without Temporal Logic - Alpern, Schneider (1989) (23 citations) (Correct)
Semantics and Verification of UML Activity Diagrams for Workflow.. - Eshuis (2002) (3 citations) (Correct)
State Reduction Using Reversible Rules - Ip, Dill (1996) (4 citations) (Correct)
Hybrid I/O Automata - Lynch, Segala, Vaandrager (2002) (6 citations) (Correct)
Hybrid I/O Automata - Lynch, Segala, Vaandrager (2002) (6 citations) (Correct)
Hybrid I/O Automata - Lynch, Segala, Vaandrager (2001) (6 citations) (Correct)
An Algorithmic Approach for Checking Closure Properties of .. - Peled, Wilke, Wolper (1995) (18 citations) (Correct)
Hybrid I/O Automata - Lynch, Segala, Vaandrager (2001) (6 citations) (Correct)
Maximally Concurrent Programs - Joshi, Misra (1999) (3 citations) (Correct)
Software Model Checking - Holzmann (2000) (1 citation) (Correct)
Classifying Properties: An Alternative to the.. - Naumovich, Clarke (2000) (Correct)
A Dense-Time Temporal Logic with nice Compositionality Properties - Cau, de Roever (1997) (Correct)
Logic Journal - Of The Editor-In-Chief (Correct)
Formalising Dijkstra's Development Strategy within Stark's.. - Cau, Kuiper, al. (1992) (1 citation) (Correct)
A More Complete TLA - Merz (1999) (1 citation) (Correct)
Flat Fragments of CTL and CTL*: Separating the Expressive and.. - Dams (Correct)
A Logical View of Composition - Abadi, Plotkin (1992) (4 citations) (Correct)
Simple Representative Instantiations for Multicast Protocols - Esparza, Maidl (2003) (Correct)
Modeling Interactions Using Social Integrity.. - Alberti.. (2004) (Correct)
Requirements-Level Semantics and Model Checking of.. - Eshuis, Jansen, Wieringa (2002) (Correct)
Assumption/Guarantee Specifications in Linear-Time Temporal Logic - Jonsson, Tsay (1995) (1 citation) (Correct)
An Efficient Algorithm for Branching Bisimulation and.. - Groote, Vaandrager (1990) (24 citations) (Correct)
On TLA as a Logic - Abadi, Merz (1996) (2 citations) (Correct)
On the Logic of TLA+ - Merz (2001) (Correct)
Automated Verification of State-based specifications against.. - Bontemps (2001) (Correct)
Modular Event-Based Systems - Fiege, Mühl, Gärtner (Correct)
The Complexity of Temporal Logic Model Checking - Schnoebelen (2003) (2 citations) (Correct)
Symbolic Exploration of Transition Hierarchies - Rajeev Alur Thomas (1998) (3 citations) (Correct)
Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (5 citations) (Correct)
Introduo ao -calculus Modal - Mtodos De Programao (Correct)
Partial-order verification in SPIN can be more efficient - van der Schoot (1997) (Correct)
Expressive Completeness of Temporal Logic of Action - Rabinovich (4 citations) (Correct)
Unknown - Ya--- Fi Mu (2002) (Correct)
Unknown - Fairness Is Concept (Correct)
Conjoining Specifications - Abadi, Lamport (1995) (31 citations) Self-citation (Lamport) (Correct)
The Mutual Exclusion Problem - Part II: Statement and Solutions - Lamport (2000) (38 citations) Self-citation (Lamport) (Correct)
An Axiomatic Semantics of Concurrent Programming Languages - Lamport (1984) (4 citations) Self-citation (Lamport) (Correct)
Decomposing Specifications of Concurrent Systems - Abadi, Lamport Self-citation (Lamport) (Correct)
Composing Specifications - Abadi, Lamport (1993) (105 citations) Self-citation (Lamport) (Correct)
What It Means for a Concurrent Program to Satisfy a.. - Lamport (1984) (4 citations) Self-citation (Lamport) (Correct)
Lazy Caching in TLA - Ladkin, Lamport, Olivier, Roegel (1999) (10 citations) Self-citation (Lamport) (Correct)
Verification of a Multiplier: 64 Bits and beyond - Kurshan, Lamport (1993) (31 citations) Self-citation (Lamport) (Correct)
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