CIS 500 -- Fall 1999

Specification and Verification of Concurrent Systems

Instructor

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

    • Course Details

  • CIS 500: Section U004, Reference Number 19654
  • Time: 1:00pm - 2:20pm, Mondays and Wednesdays
  • Place: CST 2-120
  • Course syllabus
  • Course blurb

    • Course Text

    The Theory and Practice of Concurrency, by A.W. Roscoe. Prentice Hall, 1998.

    Other Info

  • Final project info
  • Assignments
  • Assignment 1
  • Assignment 2
  • Assignment 3
  • Assignment 4, plus the necessary implementation
    Note: Due date extended to Monday, October 11 (leave in my mailbox)
  • Assignment 5
    The file hw5.csp shows how to define the channels and gives a couple examples of their use. Note that the sample properties are for illustrative purposes only and shouldn't be included as part of your solutions.
  • Assignment 6
    See fd.csp for samples of the appropriate type of assertions.

  • Sample CSP files
  • Sep 15 lecture
  • Oct 4 lecture
  • Oct 18 lecture
  • The one-lane bridge, as of Nov 10 lecture
  • The latest version of the one-lane bridge (as of Nov 15 lecture)
  • The original version of the alternating-bit protocol (from Nov 29 lecture), and the revised version (from Dec 1 lecture)
  • Chess puzzles: N Queens and Knight's Tour

  • Info on course tools

    • Related Resources

    Very comprehensive archives on:
  • CSP
  • Concurrent systems
    • Last modified: Wed 15 Dec 1999
    Susan Older / sueo@ecs.syr.edu