Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/pnuelli-a

Amir Pnuelli (pnuelli-a)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Banieqbal, B., Barringer, Howard and Pnuelli, Amir, eds. 1989. Temporal Logic in Specification. Berlin: Springer.
    Ben-Ari, M., Manna, Zohar and Pnuelli, Amir. 1981. The Temporal Logic of Branching Time.” in Eighth Annual ACM Symposium on Principles of Programming Languages. New York: ACM Press. republished as Ben-Ari, Manna and Pnuelli (1983).
    Ben-Ari, M., Manna, Zohar and Pnuelli, Amir. 1983. The Temporal Logic of Branching Time.” Acta Informatica 20: 207–226.
    Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1992. A Hierarchy of Temporal Properties.” in Computer System & Sciences: NATO Advanced Science Institutes Series. Berlin: Springer Verlag.
    Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1994. Compositional Verification of Real-Time Systems.” in IEEE Proceedings of the 9th Annual IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.
    Gabbay, Dov M., Pnuelli, Amir, Shelah, Saharon and Stavi, Jonathan. 1980. On the Temporal Analysis of Fairness.” in Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, pp. 163–173. New York: The ACM Press.
    Harel, David, Pnuelli, Amir, Schmidt, J. P. and Sherman, R. 1987. On the Formal Semantics of Statecharts.” in IEEE Proceedings of the Second IEEE Symposium on Logic in Computation, pp. 54–64. New York: IEEE Computer Science Press.
    Lichtenstein, Orna and Pnuelli, Amir. 2000. Propositional Temporal Logics: Decidability and Completeness.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 8: 55–85.
    Lichtenstein, Orna, Pnuelli, Amir and Zuck, L. D. 1985. The Glory of the Past.” in Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, edited by Rohit Parikh, pp. 196–218. Berlin: Springer.
    Manna, Zohar and Pnuelli, Amir. 1989. The Anchored Version of the Temporal Framework.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 201–284. Lecture Notes in Computer Science n. 354. Berlin: Springer.
    Manna, Zohar and Pnuelli, Amir. 1992. The Temporal Logic of Reactive and Concurrent Systems. Berlin: Springer.