CIS 632   -   Fall 2010

Modeling Concurrent Systems

News

• I've posted sample solutions for Exam 3.
  Posted: Sat Dec 11 16:38:50 EST 2010
  
  
• I've fixed a couple errors in the sample solutions for 2006 Exam 3. The affected questions are Question 2 (part d) and Question 3 (part c).
  Posted: Tue Dec 7 16:07:37 EST 2010
  
  
• I've posted sample solutions for Exam 2.
  Posted: Tue Nov 16 11:26:21 EST 2010
  
  
• I've posted sample solutions for Exam 1.
  Posted: Mon Oct 18 11:49:43 EDT 2010
  
  
• Grades are available via blackboard. I encourage you to check them regularly and bring any discrepancies to my attention.
  Posted: Fri Sep 24 11:05:27 EDT 2010

• As mentioned in lecture, I will not be holding my office hours on the afternoon of Monday, September 20.
  You may be able to find me in my office that morning, or you can catch me at class on Tuesday.
  Posted: Fri Sep 17 11:21:46 EDT 2010
  
  
• To my knowledge, all links are now live. Please let me know if you find a broken link.
  Posted: Tue Aug 31 10:26:31 EDT 2010
  
  

Assignments

• Assignment 1: due September 9
• Assignment 2: due September 16
• Assignment 3: due September 23
• Assignment 4: due September 30
• Assignment 5: due October 14
• Assignment 6: due October 21
• Assignment 7: due October 28
  Note that you should work on this assignment alone.
• Assignment 8: due November 11
  Note that you should work on this assignment alone.
• Assignment 9: due November 18
• Assignment 10: due December 2

Exams

• Exam 1: Tuesday, 5 October 2010
• Exam 2: Tuesday, 2 November 2010
• Exam 3: Thursday, 9 December 2010
• (Optional) Final Exam: Wednesday, 15 December 2010

Code/notes/etc from Lectures

• Something resembling a transcript of September 9
  I failed to save the file before interrupting my network connection, so I lost the actual transcript. Instead, here's a similar transcript from a lecture four years ago.
• The value-passing file and the resulting CWB file from 16 September
• The CWB file (as simple as it as) and the transcript we would've had if the projectors had cooperated on 28 September
• The alternating-bit protocol from 19 October:
  abp.vp, abp.cwb, and the vp-generated abp.ccs, plus the transcript
• The CWB fileand the transcript from 11 November

About the Course

• Course syllabus /
• Honor Policy /

Resources

* Info on course tools * Main Text and Other References * Concurrent Systems from the Formal Methods Wiki *

Important Dates

First lecture	Tues	31 August
Labor Day - No classes	Mon	6 September
The last day to add a course	Tues	7 September
The financial drop deadline	Mon	20 September
Yom Kippur - No classes	Sat	18 September
The academic drop deadline	Tues	26 October
The withdrawal deadline	Fri	19 November
Thanksgiving Break - No classes	Wed-Sun	24-28 November
The last day of class	Thurs	9 December
Final Exam (5:15pm-7:15pm)	Wed	15 December