Page 10 out of 12 total pages
[1] G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, MA, 1986.
[2] G. A. Agha, "Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems," in Formal Methods for Open Object-based Distributed Systems, IFIP Transactions, E. Najm and J.-B. Stefani, Eds., Chapman & Hall, 1997.
[3] G. R. Andrews, Concurrent Programming -- Principles and Practice, Addison-Wesley, 1991.
[4] A.. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems," Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1270-1282.
[5] A. Benveniste and P. Le Guernic, "Hybrid Dynamical Systems Theory and the SIGNAL Language," IEEE Tr. on Automatic Control, Vol. 35, No. 5, pp. 525-546, May 1990.
[6] G. Berry and G. Gonthier, "The Esterel synchronous programming language: Design, semantics, implementation," Science of Computer Programming, 19(2):87-152, 1992.
[7] J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int. Journal of Computer Simulation, special issue on "Simulation Software Development," vol. 4, pp. 155-182, April, 1994. (http://ptolemy.eecs.berkeley.edu/papers/JEurSim).
[8] Luca Cardelli, Type Systems, Handbook of Computer Science and Engineering, CRC Press, 1997.
[9] P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A Declarative Language for Programming Synchronous Systems," Conference Record of the 14th Annual ACM Symp. on Principles of Programming Languages, Munich, Germany, January, 1987.
[10] B. A. Davey and H. A. Priestly, Introduction to Lattices and Order, Cambridge University Press, 1990.
[11] S. A. Edwards, "The Specification and Execution of Heterogeneous Synchronous Reactive Systems," Ph.D. thesis, University of California, Berkeley, May 1997. Available as UCB/ERL M97/31. (http://ptolemy.eecs.berkeley.edu/papers/97/sedwardsThesis/)
[12] M. Fowler and K. Scott, UML Distilled, Addison-Wesley, 1997.
[13] E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading MA, 1995.
[14] A. Girault, B. Lee, and E. A. Lee, "Hierarchical Finite State Machines with Multiple Concurrency Models," April 13, 1998 (revised from Memorandum UCB/ERL M97/57, Electronics Research Laboratory, University of California, Berkeley, CA 94720, August 1997).
(http://ptolemy.eecs.berkeley.edu/papers/98/starcharts)
[15] D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Sci. Comput. Program., vol 8, pp. 231-274, 1987.
[16] P. G. Harrison, "A Higher-Order Approach to Parallel Algorithms," The Computer Journal, Vol. 35, No. 6, 1992.
[17] T. A. Henzinger, "The theory of hybrid automata," in Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1996, pp. 278-292, invited tutorial.
[18] T.A. Henzinger, and O. Kupferman, and S. Qadeer, "From prehistoric to postmodern symbolic model checking," in CAV 98: Computer-aided Verification, pp. 195-206, eds. A.J. Hu and M.Y. Vardi, Lecture Notes in Computer Science 1427, Springer-Verlag, 1998.
[19] C. A. R. Hoare, "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8, August 1978.
[20] G. Kahn, "The Semantics of a Simple Language for Parallel Programming," Proc. of the IFIP Congress 74, North-Holland Publishing Co., 1974.
[21] D. Lea, Concurrent Programming in JavaTM, Addison-Wesley, Reading, MA, 1997.
[22] E. A. Lee and T. M. Parks, "Dataflow Process Networks,", Proceedings of the IEEE, vol. 83, no. 5, pp. 773-801, May, 1995. (http://ptolemy.eecs.berkeley.edu/papers/processNets)
[23] E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation,", March 12, 1998. (Revised from ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997).
(http://ptolemy.eecs.berkeley.edu/papers/98/framework/)
[24] F. Maraninchi, "The Argos Language: Graphical Representation of Automata and Description of Reactive Systems," in Proc. of the IEEE Workshop on Visual Languages, Kobe, Japan, Oct. 1991.
[25] S. McConnell, Code Complete : A Practical Handbook of Software Construction, Microsoft Press, 1993.
[26] B. Meyer, Object Oriented Software Construction, 2nd ed., Prentice Hall, 1997.
[27] R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
[28] R. Milner, A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences 17, pp. 384-375, 1978.
[29] NASA Office of Safety and Mission Assurance, Software Formal Inspections Guidebook, August 1993 (http://satc.gsfc.nasa.gov/fi/gdb/fitext.txt).
[30] J. K. Ousterhout, Tcl and the Tk Toolkit, Addison-Wesley, Reading, MA, 1994.
[31] J. K. Ousterhout, Scripting: Higher Level Programming for the 21 Century, IEEE Computer magazine, March 1998.
[32] T. M. Parks, Bounded Scheduling of Process Networks, Technical Report UCB/ERL-95-105. Ph.D. Dissertation. EECS Department, University of California. Berkeley, CA 94720, December 1995. (http://ptolemy.eecs.berkeley.edu/papers/parksThesis).
[33] Rational Software Corporation, UML Notation Guide, Version 1.1, September 1997, http://www.rational.com/uml/html/notation/.
[34] Jakob Rehof and Torben Mogensen, "Tractable Constraints in Finite Semilattices," Third International Static Analysis Symposium, pp. 285-301, Volume 1145 of Lecture Notes in Computer Science, Springer, Sept., 1996.
[35] A. J. Riel, Object Oriented Design Heuristics, Addison Wesley, 1996.
[36] J. Rowson and A. Sangiovanni-Vincentelli, "Interface Based Design," Proc. of DAC `97.
[37] J. Rumbaugh, et al. Object-Oriented Modeling and Design Prentice Hall, 1991.
[38] J. Rumbaugh, OMT Insights, SIGS Books, 1996.