E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, volume 131 of Lecture Notes in Computer Science, pages 52--71. Springer-Verlag, 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Formal Methods in System Design, 20, 159--186, 2002 c - Verification Of Out-Of-Order Self-citation (Clarke) (Correct)
No context found.
E. Clarke and E.A. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," in Proceedings of the IBM Workshop on Logics of Programs, Springer-Verlag, Berlin, 1981, pp. 52--71.
Making Predicate Abstraction Efficient: - How To Eliminate Self-citation (Clarke) (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, volume 131 of Lect. Notes in Comp. Sci., pages 52--71, 1981.
Microprocessor Using Symbolic Model Checking without BDDs - Armin Biere Edmund Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Logic of Programs: Workshop, Yorktown Heights, NY, volume 131 of Lecture Notes in Computer Science. Springer-Verlag, May 1981. 60
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (1 citation) Self-citation (Clarke) (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, volume 131 of LNCS. Springer, 1981.
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, volume 131 of Lecture Notes in Computer Science, pages 52--71. Springer-Verlag, 1981.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, volume 131 of Lecture Notes in Computer Science, pages 52--71. Springer-Verlag, 1981.
Model Checking of Unrestricted Hierarchical State Machines - Exte Nd Ed (Correct)
No context found.
E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic. In D. Kozen, editor, Proceedings of the Workshop on Logic of Programs, Yorktown Heights, volume 131 of Lecture Notes in Computer Science, pages 52--71. Springer-Verlag, 1981.
A System for the Static Analysis of XPath - Geneves, Layaida (2006) (Correct)
No context found.
Clarke, E. M. and Emerson, E. A. 1981. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop. LNCS, vol. 131. SpringerVerlag, London, UK, 52--71.
Reasoning about Action and Cooperation - Sauro, Gerbrandy, van der Hoek.. (2006) (Correct)
No context found.
E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop, 1982.
Software Tools for Technology Transfer manuscript No. - Will Be Inserted (2004) (Correct)
No context found.
E. Clarke and A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In D. Kozen, editor, Logic of Programs, Workshop, Yorktown Heights, New York, May 1981, volume 131 of Lecture Notes in Computer Science, pages 52--71. Springer, 1982. Viktor Schuppan, Armin Biere: Efficient reduction of finite state model checking to reachability analysis
Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (7 citations) (Correct)
No context found.
Clarke, E. and A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: IBM Workshop on Logics of Programs, 1981.
Weak Muller Acceptance Conditions for Tree Automata - Torre, Murano, Napoli (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. of Workshop on Logic of Programs, LNCS 131, pages 52 -- 71. Springer-Verlag, 1981.
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
No context found.
E.M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on Logics of Programs, 1981.
Cutpoints for Formal Equivalence Verification - Of Embedded Software (2005) (Correct)
No context found.
E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In D. Kozen, editor, Workshop on Logics of Programs, pages 52--71, May 1981.
Automatic Analysis of Relay Ladder Logic Programs - Zhendong Su Eecs (1997) (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logics of Programs, volume 131, pages 52--71, Berlin, 1981. Springer.
An Optimizing Compiler for Batches of Temporal Logic - Formulas James Ezick (2004) (Correct)
No context found.
E. Clarke and E. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of the Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52--71, Yorktown Heights, New York, May 1981. Springer-Verlag.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
E. Clarke and E. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on Logics of Programs, LNCS 131, pp. 52--71, Springer, 1981.
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (19 citations) (Correct)
No context found.
E.M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Logic of Programs, LNCS 131, pp. 52--71, Springer, 1981.
The Relative Completeness of a Version of CTL* - Machi, Tomita, Hosono (2005) (Correct)
No context found.
Clarke, E. M. & Emerson, E. A. (1981), Design and synthesis of synchronization skeletons using branching time temporal logic, Proceedings of the Workshop on Logic of Programs, Lecture Notes in Computer Science, Vol. 131, pp. 52--71.
Branching Time and Partial Order - In Temporal Logics (Correct)
No context found.
E. M. Clarke, E. A. Emerson (1981): Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Proc. of the Workshop on Logics of Programs, Yorktown Heights, LNCS 131, Springer-Verlag, pp. 52-71.
On the Model Checking Problem for Branching Time Logics - And Basic Parallel (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and Synthesis of synchronization skeletons using Branching Time Temporal Logic. In Proceedings of Workshop on Logics of Programs, LNCS 131:52--71, 1981.
Tropos: An Agent-Oriented Software Development.. - Bresciani, Perini.. (2004) (12 citations) (Correct)
No context found.
E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," in D. Kozen, (ed.), Proceedings of the Workshop on Logics of Programs, vol. 131 of Lecture Notes in Computer Science, Yorktown Heights, New York, Springer-Verlag: New York, pp. 52--71, 1981.
On Message Specifications in OCL - Kyas, de Boer (2003) (3 citations) (Correct)
No context found.
Clarke, E. M. and E. A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: Workshop on Logics of Programs, number 131 in LNCS (1981.
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
No context found.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of the Workshop on Logics of Programs, volume 131 of LNCS, pages 52--71. Springer-Verlag, May 1981.
Tropos: An Agent-Oriented Software Development Methodology - Bresciani, al. (2002) (12 citations) (Correct)
No context found.
E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In D. Kozen, editor, Proceedings of the Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52-71, Yorktown Heights, New York, May 1981. Springer-Verlag.
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