1. P. Aczel. A general Church-Rosser theorem. Manuscript, University of Manchester, 1978.
2. G. Agha.Actors.MIT Press, 1986.
3. G. Agha and C. Hewitt. Concurrent programming using actors. In A. Yonezawa and M. Tokoro, editorsObject-Oriented Concurrent Programmingpages 37–53. MIT Press, 1988.
4. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems.Theoretical Computer Science138:3–34, 1995.
5. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, and H. Rischel, editorsWorkshop on Theory of Hybrid Systemspages 209–229. Springer LNCS 739, 1993.