Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, January 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Understanding UML: A Formal Semantics of Concurrency.. - Damm, Josko, Pnueli, .. (2002) (4 citations) Self-citation (Pnueli) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
A Formal Semantics for a UML Kernel Language - Damm, Josko, Votintseva (2003) (3 citations) Self-citation (Pnueli) (Correct)
No context found.
Manna, Z., Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
Regular Vacuity - Doron Bustan Alon (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, January 1992.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
MANNA, Z., AND PNUELI, A. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, 1992.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, January 1992.
Safraless Compositional Synthesis - Orna Kupferman Nir (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
Verifiable Agent Dialogues - Walton (2005) (Correct)
No context found.
Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, 1992.
Games in System Design and Verification - Thomas Henzinger Epfl (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, 1992.
Formal Aspects of Computing A generalized semantics of.. - Gallardo, Merino, al. (2004) (Correct)
No context found.
Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems---Specification, Springer, Berlin Heidelberg New York
Modal Kleene Algebra and Applications - Survey Jules Desharnais (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems --- Specification. Springer, 1991.
Sisl: Several Interfaces, Single Logic - Thomas Ball Christopher (2000) (Correct)
No context found.
Manna, Z. and Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems. Springer, New York. 19
Comparing Under and Over-Approximations of LTL.. - Gallardo, Merino.. (2002) (Correct)
No context found.
Z. Manna , . Pnuel: T e Temporal Log ic of Reactive and Concurrent Systems -Specification, Springer-Verl() New York, 1992. 1 14
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer (1984)
Alternating Automata and Logics over Infinite Words (Extended .. - Löding, Thomas (2000) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1992.
Informatica 29 (2005) 219--226 219 - System Resource Utilization (Correct)
No context found.
Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
Completeness and Complexity of Bounded Model Checking - Clarke, Kroening.. (2004) (2 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Speci cation. Springer-Verlag, New York, 1991.
IS=DBS+Interaction: Towards Principles of Information.. - Goldin, Srinivasa.. (2000) (Correct)
No context found.
Manna, Z., Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag (1992).
Establishing Qualitative Properties for - Probabilistic Lossy Channel (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems-Specification. Springer-Verlag, 1992.
Int J STTT (2000) 2: 394--409 2000 Springer-Verlag.. - Protocol Giop Using (Correct)
No context found.
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Berlin, Heidelberg, New York: SpringerVerlag, 1992
Towards Foundations of Information Systems Based on Interaction.. - Srinivasa (2001) (Correct)
No context found.
Zohar Manna, Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1992.
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
Zohar Manna and Amir Pnueli, The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer-Verlag, 1992.
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, 1992.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1992.
Automated Environment Generation for Software Model Checking - Tkachuk, Dwyer, Pasareanu (2003) (5 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1991.
On Analysis of Design Component Contracts: A Case Study - Dong, Alencar, Cowan (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Verlag, 1991.
On Nash Equilibria in Stochastic Games - Chatterjee, Jurdzinski, Majumdar (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Speci cation. Springer-Verlag, 1992.
Two-player Nonzero-sum ω-regular Games - Chatterjee (2004) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Speci cation. Springer-Verlag, 1992.
The Complexity of Stochastic Rabin and Streett Games - Chatterjee, de Alfaro.. (2004) (1 citation) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Speci cation. Springer-Verlag, 1992.
Formal Verification of Communication Protocol Using Type.. - Zhang, Xie, Munro, al. (2003) (Correct)
No context found.
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems. New York: Springer, 1992.
Relating Word and Tree Automata - Orna Kupferman Bell (1996) (3 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, January 1992.
Specifying Real-Time Requirements for SDL Specifications - A.. - Leue (1995) (22 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
Modeling And Analyzing Security Protocols In Sam: - Case Study Zhengfan (Correct)
No context found.
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1992).
Unknown - (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (2 citations) (Correct)
No context found.
Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specification. Springer, Berlin Heidelberg New York
Classification Schemes to Aid in the Analysis of Real-Time.. - Kolano, Kemmerer (2000) (Correct)
No context found.
Manna, Z. and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, New York, NY (1992).
Modeling and Analyzing SMIL Documents in SAM - Huiqun Yu Xudong (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (3 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2004) (3 citations) (Correct)
No context found.
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems, volume 1. Springer-Verlag, Berlin/New York, 1992.
Proving Possibility Properties - Leslie Lamport Digital (1995) (5 citations) (Correct)
No context found.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1991.
Fairness and Hyperfairness - Leslie Lamport May (1988) (4 citations) (Correct)
No context found.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1991.
Lazy Caching in TLA - Ladkin, Lamport, Olivier, Roegel (1999) (10 citations) (Correct)
No context found.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1991.
Arbitration-Free Synchronization - Lamport (2002) (1 citation) (Correct)
No context found.
Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1991.
Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (1 citation) (Correct)
No context found.
MANNA, Z. AND PNUELI, A. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York.
Discrete Timed Automata and MONA: Description, Specification.. - Gomez, Bowman (2003) (Correct)
No context found.
Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: specification. Springer (1992)
Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (1 citation) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1992.
Compositional Verification of an Object-Based Model for .. - Sirjani, Movaghar.. (2001) (Correct)
No context found.
Manna Z. and Pnueli A., The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: Specification. Springer Verlag, 1992.
Model Checking Discounted Temporal Properties - de Alfaro, Faella, Henzinger, .. (2003) (2 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Speci cation. Springer, 1991.
Interaction as a Framework for Modeling - Peter Wegner And (14 citations) (Correct)
No context found.
Zohar Manna and Amir Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer Verlag, 1992.
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