David Harel (harel-d)

Contributi a Philosophie.ch

Bibliography

Harel, David. 1984. “Dynamic Logic.” in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 497–604. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Harel, Kozen and Tiuryn (2001).
Harel, David. 1987a. Algorithmics: The Spirit of Computing. Reading, Massachusetts: Addison-Wesley.
Harel, David. 1987b. “Statecharts: A Visual Formalism for Complex Systems.” Science of Computer Programming 8: 231–274.
Harel, David. 1987c. “On Visual Formalisms.” cmu–cs–87–126. Pittsburgh, Pennsylvania: Computer Science Department, Carnegie Mellon University.
Harel, David. 1988. “On Visual Formalisms.” Communications of the Association for Computing Machinery 13(5): 514–530. Reprinted in Glasgow, Narayanan and Chandrasekaran (1995, 235–271).
Harel, David, Gery, E. and Politi, M. 1994. Object-Oriented Modeling with Statecharts. Rehovot: Weizmann Institute of Science, Dept. of Applied Mathematics; Computer Science.
Harel, David and Kozen, Dexter C. 1982. “Process Logic: Expressiveness, Decidability, Completeness.” Journal of Computer and System Sciences 25: 144–170.
Harel, David, Kozen, Dexter C. and Tiuryn, J. 2001. “Dynamic Logic.” in Handbook of Philosophical Logic, Volume IV, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 99–218. Dordrecht: Springer. First publication as Harel (1984).
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.

Further References

Glasgow, Janice, Narayanan, N. Hari and Chandrasekaran, B., eds. 1995. Diagrammatic Reasoning. Cambridge, Massachusetts: The MIT Press.