Reference Materials


Main Text

  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, and Jir Srba. Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, 2007.

    Also available as an Adobe eBook.


  • Other Useful References

    Books

  • Colin Stirling. Modal and Temporal Properties of Processes. Springer-Verlag, 2001.

  • Robin Milner. Communication and Concurrency. Prentice-Hall International, 1994. (Out of print.)

  • Glenn Bruns. Distributed Systems Analysis with CCS. Prentice-Hall International, 1997. (Out of print.)

  • Papers and Articles

  • Colin Stirling, Modal and Temporal Logics for Processes. Lecture Notes in Computer Science 1043, pages 149-237, 1996.


  • Last modified: Tue 10 Aug 2010
    Susan Older / sueo@ecs.syr.edu