CIS 650 -- Fall 1999

Semantics of Mobile Agents

Course Details

  • Susan Older
  • Office: CST 2-181
  • Email: sueo@ecs.syr.edu

  • Time: 3:00pm - 4:20pm, Mondays and Wednesdays
  • Place: CST 2-120

  • Course blurb and syllabus

    • Course Text

  • Communicating and Mobile Systems: the Pi-Calculus, by Robin Milner. Cambridge University Press, 1999.

    • Assignments

  • Assignment 1 and sample proof for Problem 3
  • Assignment 2
  • Assignment 3: Do Exercises 9.3, 9.8, 9.17 (due Monday, October 4)
  • Assignment 4: Do Exercises 10.9, 10.10 (due Wednesday, October 27)

    • Related Resources

  • Archive for mobile calculi
  • Kohei Honda's extremely annontated mobility bibliography/reading list (definitely worth a read)
    • Last modified: Wed 20 Oct 1999
    Susan Older / sueo@ecs.syr.edu