A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module. In Proceedings of the 16th ACM Symposium Principles of Programming Languages (POPL 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module. In Proceedings of the 16th ACM Symposium Principles of Programming Languages (POPL 1989.
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. on Principles of Programming Languages, pages 179--190, Austin, January 1989.
Hardware Synthesis from Requirement Specifications - Konrad Feyerabend Dept (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. Princ. of Prog. Lang., pages 179--190, 1989.
Games in System Design and Verification - Thomas Henzinger Epfl (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Principles of Programming Languages, pages 179--190. ACM, 1989.
Dense Real-time Games - Marco Faella Universita (2002) (3 citations) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. of the 16th ACM Symposium on Principles of Programming Languages, pages 179 -- 190, 1989.
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2005) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th Symposium on Principles of Programming Languages, pages 179--190. ACM Press, 1989.
Timed Games With Branching-Time Winning Conditions - Aniello Murano Dipartimento (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. of the 16th ACM Symposium on Principles of Programming Languages, pages 179 -- 190, 1989.
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th Symposium on Principles of Programming Languages, pages 179--190. ACM Press, 1989.
Automata-theoretic Decision of Timed Games - Marco Faella Salvatore (2002) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. of the 16th ACM Symposium on Principles of Programming Languages, pages 179 - 190, 1989.
The Complexity of Stochastic Rabin and Streett Games - Chatterjee, de Alfaro.. (2004) (1 citation) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL'89, pages 179-190. ACM Press, 1989. 22
The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the 16th Annual Symposium on Principles of Programming Languages, pages 179--190. ACM Press, 1989.
Thomas A. Henzinger Ranjit Jhala Rupak Majumdar - Report No Ucb (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the 16th Annual Symposium on Principles of Programming Languages, pages 179-190. ACM Press, 1989.
Safraless Decision Procedures - Orna Kupferman Hebrew (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. on Principles of Programming Languages, pages 179--190, Austin, January 1989.
The Bulletin of Symbolic Logic - Volume Number June (Correct)
No context found.
A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM symposium on principles of programming languages, Austin, January 1989.
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. on Principles of Programming Languages, pages 179--190, Austin, January 1989.
Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (5 citations) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the Sixteenth ACM Symposium on the Principles of Programming Languages (POPL), pages 179-190, January 1989.
Conversation Protocols: A Formalism for Specification and.. - Fu, Bultan, Su (2004) (1 citation) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. of 16th ACM Symp. Principles of Programming Languages, pages 179--190, 1989.
Relating Word and Tree Automata - Kupferman, Safra, Vardi (2004) (3 citations) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. on Principles of Programming Languages, pages 179-190, Austin, January 1989.
Once Upon a Time in the West - Determinacy.. - Berwanger, Grädel.. (Correct)
No context found.
A. Pnueli and R. Rosner, On the synthesis of a reactive module, in Proceeding of The Sixteenth Annual ACM Symposium on The Principles of Programming Languages, 1988, pp. 179-190.
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
No context found.
A Pnueli and R Rosner. On the synthesis of a reactive module. In 16th ACM symposium on Principles of Programming Languages, pages 179--190, 1989.
Games with Secure Equilibria - Krishnendu Chatterjee Thomas (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Principles of Programming Languages (POPL), pages 179--190. ACM Press, 1989.
TRP ++ : A temporal resolution prover - Hustadt, Konev (Correct)
No context found.
A Pnueli and R Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. Princip. Prog. Lang., pages 179--190, 1989.
The Element of Surprise in Timed Games - de Alfaro, Faella, Henzinger.. (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. Symp. Principles of Programming Languages, pages 179--190. ACM, 1989.
Concurrent Omega-Regular Games - de Alfaro, Henzinger (2000) (3 citations) (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the 16th Annual Symposium on Principles of Programming Languages, pages 179--190. ACM Press, 1989.
On the Universal and Existential Fragments of the.. - Henzinger, Kupferman.. (Correct)
No context found.
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. Principles of Programming Languages, pages 179--190. ACM Press, 1989.
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