Allen E. Emerson (emerson-ae)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Clarke, Edmund M., Emerson, Allen E. and Sistla, A. P. 1986. “Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications.” ACM Transactions on Programming Languages and Systems 8(2): 244–263.
Emerson, Allen E. 1990. “Temporal and Modal Logic.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 995–1072. Cambridge, Massachusetts: The MIT Press.
Emerson, Allen E. and Clarke, Edmund M. 1982. “Using Branching Time Temporal Logic to Synthesize Temporal Skeletons.” Science of Computer Programming 2(3): 241–266.
Emerson, Allen E. and Halpern, Joseph Y. 1985a. “Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.” Journal of Computer and System Sciences 30(1): 1–24.
Emerson, Allen E. and Halpern, Joseph Y. 1985b. “ ‘Sometimes’ and ‘Not Never’ Revisited: On Branching Versus Linear Time Temporal Logic.” Journal of the Association for Computing Machinery 33(1): 151–178.
Emerson, Allen E. and Sistla, A. P. 1984. “Deciding Branching Time Logic.” in Proceedings of the sixteenth annual ACM symposium on Theory of computing, pp. 14–24. New York: The Association for Computing Machinery Press.
Emerson, Allen E. and Srinivasan, J. 1989. “Branching Time Temporal Logic.” 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. 123–172. Lecture Notes in Computer Science n. 354. Berlin: Springer.