EECS 290n
Contents

Home
Overview
Logistics
Technology

Lectures
Calendar
Assignments
Study group
Project

Reading
References
Resources

References

Below is a haphazard list of some possibly useful references. See the Ptolemy website for publications by Edward Lee.

Books

  1. F. Baccelli, G. Cohen, G. J. Olsder, J.-P. Quadrat, Synchronization and Linearity, Jon Wiley, 1992.
  2. S. S. Bhattacharyya, P. K. Murthy and E. A. Lee, Software Synthesis from Dataflow Graphs, Kluwer Academic Publishers, Norwell, Mass, 1996.
  3. C. Cassandras, Discrete Event Systems: Modeling and Performance Analysis, Irwin, 1993.
  4. S. A. Edwards, Languages for Digital Embedded Systems, Kluwer Academic Publishers, 2000.
  5. C. A. Gunter, Semantics of Programming Languages, MIT Press, 1992.
  6. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.
  7. Z. Manna, Mathematical Theory of Computation, McGraw-Hill, 1974.
  8. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
  9. Z. Manna and R. Waldinger, The Deductive Foundations of Computer Programming, Addisson-Wesley, 1993.
  10. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
  11. V. A. Saraswat, Concurrent Constraint Programming, The MIT Press, Cambridge, MA, 1993.
  12. V. Stoltenberg-Hansen, I. Lindstrom, and E. R. Griffor, Mathematical Theory of Domains, Cambridge University Press, 1994.
  13. W. T. Trotter, Combinatorics and Partially Ordered Sets, The Johns Hopkins University Press, 1992.
  14. G. Winskel, The Formal Semantics of Programming Languages, The MIT Press, 1994.
  15. W. Wolf, Computers as Components: Principles of Embedded Computing System Design, Morgan Kaufmann, 2001.

Ph.D. Theses

  1. J. T. Buck, Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model, Tech. Report UCB/ERL 93/69, Ph.D. Dissertation, Dept. of EECS, University of California, Berkeley, CA 94720, 1993.
  2. John Davis II, Order and Containment in Concurrent System Design, Ph.D. thesis, Memorandum UCB/ERL M00/47, Electronics Research Laboratory, University of California, Berkeley, September 8, 2000.
  3. 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.
  4. T. M. Parks, Bounded Scheduling of Process Networks, Technical Report UCB/ERL-95-105. PhD Dissertation. EECS Department, University of California. Berkeley, CA 94720, December 1995.

Concurrency

  1. 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.
  2. Edward A. Lee, "Embedded Software," Advances in Computers (M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002.
  3. A. Girault, B. Lee, and E. A. Lee, ``Hierarchical Finite State Machines with Multiple Concurrency Models,'' IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, Vol. 18, No. 6, June 1999.
  4. J. W. De Bakker and J. I. Zucker, "Processes and the Denotational Semantics of Concurrency," Information and Control, Vol. 54, pp 70-120, 1982.
  5. E. Dijkstra, ``Cooperating Sequential Processes'', in Programming Languages, E F. Genuys, editor, Academic Press, New York, 1968.
  6. G. Kahn, ``The Semantics of a Simple Language for Parallel Programming,'' Proc. of the IFIP Congress 74, North-Holland PubG. Kahn, ``The Semantics of a Simple Language for Parallel Programming,'' Proc. of the IFIP Congress 74, North-Holland Publishing Co., 1974.
  7. G. Kahn and D. B. MacQueen, ``Coroutines and Networks of Parallel Processes,'' Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
  8. C. A. R. Hoare, ``Communicating Sequential Processes,'' Communications of the ACM, Vol. 21, No. 8, August 1978.
  9. L. Lamport, ``Time, Clocks, and the Ordering of Events in a Distributed System,'' Communications of the ACM, Vol. 21, No. 7, July, 1978.
  10. J. L. Peterson, ``Petri Nets'', Computing Surveys, Vol. 9, No. 3, September, 1977.
  11. V. R. Pratt, ``Modeling Concurrency with Partial Orders,'' Int. J. of Parallel Programming, Vol. 15, No. 1, pp. 33-71, Feb. 1986.
  12. D. Scott, ``Outline of a mathematical theory of computation'', Proc. of the 4th annual Princeton conf. on Information sciences and systems, 1970, 169-176.

Dataflow

  1. W. B. Ackerman, ``Data Flow Languages,'' Computer, Vol. 15, No. 2, February 1982.
  2. Arvind and K. P. Gostelow, ``The U-Interpreter'', Computer, 15(2), February 1982.
  3. E. A. Ashcroft and W. W. Wadge, ``Lucid, a Nonprocedural Language with Iteration,'' Comm. of the ACM, vol. 20, no. 7, pp. 519-526, July 1977.
  4. B. Bhattacharya and S. S. Bhattacharyya, "Parameterized Dataflow Modeling of Dsp Systems," In Proceedings of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Istanbul, Turkey, June, 2000.
  5. W.-T. Chang, A. Kalavade, and E. A. Lee, ``Effective Heterogeneous Design and Cosimulation,'', NATO Advanced Study Institute Workshop on Hardware/Software Codesign, Lake Como, Italy, June 18 -- 30, 1995 .
  6. A. L. Davis and R. M. Keller, ``Data Flow Program Graphs'', Computer, 15(2), February, 1982.
  7. J. B. Dennis, ``First Version Data Flow Procedure Language'', Technical Memo MAC TM61, May, 1975, MIT Laboratory for Computer Science.
  8. R. M. Karp, R. E. Miller, ``Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing,'' SIAM Journal, Vol. 14, pp. 1390-1411, November, 1966.
  9. E. A. Lee, ``A Denotational Semantics for Dataflow with Firing,'' Memorandum UCB/ERL M97/3, Electronics Research Laboratory, U. C. Berkeley, January 1997.
  10. E. A. Lee and T. M. Parks, ``Dataflow Process Networks,'', Proceedings of the IEEE, vol. 83, no. 5, pp. 773-801, May, 1995.
  11. E. A. Lee and D. G. Messerschmitt, ``Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing,'' IEEE Trans. on Computers, January, 1987.
  12. S. G. Matthews, "An Extensional Treatment of Lazy Data flow Deadlock," Theoretical Computer Science, Vol. 151, pp. 195-205, 1995.
  13. E.W. Stark, ``An algebra of dataflow networks,'' Fundamenta Informaticae, Jan.-Feb. 1995, vol.22, (no.1-2):167-85.
  14. W. W. Wadge and E. A. Ashcroft, Lucid, the dataflow programming language, London Academic Press, 1985.

Discrete-Event Systems

  1. F. Baccelli, G. Cohen, G. J. Olsder, J.-P. Quadrat, Synchronization and Linearity - An Algebra for Discrete Event Systems, John Wiley & Sons, New York, 1992.
  2. C. Cassandras, Discrete Event Systems, Modeling and Performance Analysis, Irwin, Homewood IL, 1993.
  3. G. S. Fishman, Principles of Discrete Event Simulation, Wiley, New York, 1978.
  4. Y.-C. Ho (Ed.), Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, IEEE Press, New York, 1992.
  5. D. Jefferson, ``Virtual Time,'' ACM Trans. Programming Languages and Systems, Vol. 7, No. 3, 1985, pp. 404-425.
  6. E. A. Lee, ``Modeling Concurrent Real-time Processes Using Discrete Events,'' Invited paper, Annals of Software Engineering, Special Volume on Real-Time Software Engineering, vol. 7 (1999), pp. 25-45. Revised from UCB/ERL Memorandum M98/7, March 4th 1998.
  7. J. Misra, ``Distributed Discrete Event Simulation,'' ACM Computing Surveys, Vol. 18, No. 1, 1986, pp. 39-65.
  8. R. Righter and J. Walrand, ``Distributed Simulation of Discrete Event Systems,'' Proc. IEEE, Jan., 1989, pp. 99-113.

Functional Programming

  1. Arvind and J. D. Brock, ``Resource Managers in Functional Programming,'' J. of Parallel and Distributed Computing, Vol. 1, No. 5-21, 1984
  2. P. Hudak, ``Conception, Evolution, and Application of Functional Programming Languages,'' ACM Computing Surveys, Vol. 21, No. 3, September 1989.
  3. L. C. Paulson, ML for the Working Programmer, Cambridge University Press, 1991. (Reprinted in 1993.)
  4. J. D. Ullman, Elements of ML Programming, Prentice-Hall, 1994.

Hybrid Systems

  1. R. Alur, C. Courcoubetis, T. A. Henzinger, P.-H. Ho, ``Hybrid Automata: An Algorithmic Approach to the Speicification and Verification of Hybrid Systems,'' LNCS 736, Springer-Verlag, Berlin, 1993.
  2. Z. Manna and A. Pnueli, ``Verifying Hybrid Systems,'' LNCS 736, R. L. Grossman, A. Nerode, A. P. Ravn, H. Rischel (Eds.), Springer-Verlag, Berlin, 1993.

Lambda Calculus and Turing Machines

  1. A. Church, The Calculi of Lambda-Conversion, Princeton University Press, Princeton, NJ, 1941.
  2. A. M. Turing, ``Computability and Lambda-Definability,'' J. Symbolic Logic, Vol. 2, pp. 153-163, 1937.

Mathematics

  1. V. Bryant, Metric Spaces - Iteration and Application, Cambridge University Press, 1985.
  2. B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990.
  3. M. C. Gemignani, Elementary Topology, Second Edition, Dover Publications Inc., New York, 1972.
  4. M. C. Golumbic, ``Algorithmic Graph Theory and Perfect Graphs,'' Academic Press, New York, 1980.
  5. S. G. Matthews, "Partial Metric Topology," in General Topology & its Applications, eds. S. Andima et al, Proc. of the 8th Summer Conf., Queen's College (1992), Annals of the New York Academy of Science, Vol. 728 (New York Academy of Sci., 1994), pp. 183-197.
  6. B. C. Pierce, Basic Category Theory for Computer Scientists, The MIT Press, Cambridge, MA, 1991.
  7. F. Robert, Discrete Iterations: A Metric Study, volume 6 of Springer Series in Computational Mathematics, Springer-Verlag, 1986.
  8. A. Tarski, "A Lattice-Theoretic Fixpoint Theorem and its Applications," Pacific Journal of Mathematics, Vol. 5, pp. 285-309, 1955.
  9. W. T. Trotter, Combinatorics and Partially Ordered Sets, Johns Hopkins University Press, Baltimore, Maryland, 1992.
  10. R. F. C. Walters, Categories and Computer Science, Cambridge University Press, 1991.

Nondeterminism

  1. K. R. Apt and G. D. Plotkin, ``Countable Nondeterminism and Random Assignment,'' J. of the ACM, Vol. 33, No. 4, pp. 724-767, 1986.
  2. J. D. Brock and W. B. Ackerman, ``Scenarios, a Model of Non-Determinate Computation,'', Proc. Conf. on Formal Definition of Programming Concepts, LNCS 107, pp. 252-259, Springer-Verlag, Berlin, 1981.
  3. M. Broy, ``Nondeterministic Dataflow Program: How to avoid the merge anomaly,'' Science of Computer Programming, vol. 10, no. 1, pp. 65-85, Feb. 1988.
  4. R. M. Keller, ``Denotational Models for Parallel Programs with Indeterminate Operators,'' Formal Description of Programming Concepts, Ed. E. J. Neuhold, North-Holland, Amsterdam, 1978, pp. 337-366.
  5. P. R. Kosinski, ``A Straightforward Denotational Semantics for Non-Determinate Data Flow Programs,'' Proc. of the 5th Annual ACM Symp. Principles of Programming Languages, pp. 214-221, Tuscon, AZ, Jan., 1978.
  6. P. Panangaden and V. Shanbhogue, ``The Expressive Power of Indeterminate Dataflow Primitives,'' Information and Computation, Vol. 98, No. 1, May 1992.

Parallel Computing

  1. S. Y. Kung, VLSI Array Processors, Prentice-Hall, Englewood Cliffs, New Jersey, 1988.
  2. V. Sunderam, ``PVM: A Framework for Parallel Distributed Computing,'' Concurrency: Practice and Experience, Vol. 2, No. 4, Dec. 1990, pp. 315-339.

Scheduling

  1. E. G. Coffman, Jr., Computer and Job Scheduling Theory, Wiley, New York, 1976.
  2. C. E. Leiserson and J. B. Saxe, "Retiming synchronous circuitry," Algorithmica, 1991, vol.6, (no.1):5-35.
  3. V. Sarkar, Partitioning and Scheduling Parallel Programs for Multiprocessors, MIT Press, Cambridge, MA, 1989.

Semantics

  1. N. Francez, Fairness, Springer-Verlag, 1986.
  2. C. A. Gunter, Semantics of Programming Languages: Structures and Techniques, The MIT Press, Cambridge MA, 1992.
  3. Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York, 1974.
  4. D. Scott and C. Stachey, ``Towards a mathematical semantics for computer languages'', Proc. Symp. on Computers and Automata, Polytechnic Inst. of Brooklyn, 1971.
  5. M. B. Smyth, "Quasi-Uniformities: Reconciling Domains with Metric Spaces," Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane, in Lecture Notes in Computer Science 298, M. Main et al. eds., Springer-Verlag, New York, 1987.
  6. G. Winskel, The Formal Semantics of Programming Languages, the MIT Press, Cambridge, MA, USA, 1993.

Software

  1. S. Ahuja, N. Carreiro, and D. Gelernter, ``Linda and Friends,'' Computer, Vol. 19, No. 8, Aug. 1986, pp. 26-34.
  2. 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. .
  3. J. Rasure and C. S. Williams, ``An Integrated Visual Language and Software Development Environment'', Journal of Visual Languages and Computing, Vol 2, pp 217-246, 1991.
  4. D. Verkest, K. Van Rompaey, I. Bolsens, H. De Man, ``POPE -- A Design Environment for Heterogeneous Hardware/Software Systems,'' to appear, Design Automation for Embedded Systems, 1996.

Synchronous-Reactive Systems

  1. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs, ``Data-flow Synchronous Languages,'' in J. W. de Bakker W.-P. de Roever, and G. Rozenberg, eds., A Decade of Concurrency -- Reflections and Perspectives, Lecture Notes in Computer Science no. 803, Springer-Verlag, Berlin, 1994.
  2. 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.
  3. A. Benveniste, P. Le Guernic, Y. Sorel, and M. Sorine, ``A Denotational Theory of Synchronous Reactive Systems'', Information and Computing, Vol. 99, No. 2, pp. 192-230, 1992.
  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. G. Berry and G. Gonthier, ``The Esterel synchronous programming language: Design, semantics, implementation,'' Science of Computer Programming, 19(2):87-152, 1992.
  6. F. Boussinot, R. De Simone, ``The ESTEREL Language,'' Proceedings of the IEEE, Vol. 79, No. 9, September 1991.
  7. 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.
  8. P. Caspi, ``Clocks in Dataflow Languages,'' Theoretical Computer Science, Vol. 94, No. 1, March 1992.
  9. N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Dordrecht, 1993.
  10. P. Le Guernic, T. Gauthier, M. Le Borgne, C. Le Maire, ``Programming Real-Time Applications with SIGNAL,'' Proceedings of the IEEE, Vol. 79, No. 9, September 1991.
  11. S. Malik, ``Analysis of cyclic combinational circuits'', Proceedings of the ICCAD 93 Conference, IEEE Computer Society Press, Santa Clara, November 1993.
  12. 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.
  13. S. Narayan, F. Vahid, D. D. Gajski, ``SpecCharts: A Language for System Level Specification and Synthesis'', Proc. of Int. Symp. on Computer Hardware Description Languages, Marseille, April 1991.
  14. M. von der Beeck, ``A Comparison of Statecharts Variants,'' in Proc. of Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 863, pp. 128-148, Springer-Verlag, Berlin, 1994.
  15. D. Harel, ``Statecharts: A Visual Formalism for Complex Systems,'' Sci. Comput. Program., vol 8, pp. 231-274, 1987.
  16. Stephen A. Edwards and Edward A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language,"Technical Memorandum UCB/ERL M01/33, University of California, Berkeley, CA 94720, October 25, 2001.
You are not logged in
©2002-2008 U.C. Regents