COSC6490A

User Tools

Site Tools

You are here: Concurrent Object Oriented Languages » Calendar
Trace:
calendar

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
calendar [2007/11/07 19:59] – franckcalendar [2007/11/23 13:50] (current) – franck
Line 83: Line 83:
 A solution to the readers-writers problem in Java can be found A solution to the readers-writers problem in Java can be found
 [[readers-writers|here]]. [[readers-writers|here]].
 +
  
 ===== October 9 ===== ===== October 9 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
 ===== October 11 ===== ===== October 11 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
 ===== October 16 ===== ===== October 16 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
 ===== October 18 ===== ===== October 18 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
  
 ===== October 23 ===== ===== October 23 =====
  
-[[presentations|Presentations]]+[[presentations:start|Presentations]]
  
 The sleeping barber problem can be found in Section 4.2 The sleeping barber problem can be found in Section 4.2
Line 149: Line 150:
 ===== November 6 ===== ===== November 6 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
 ===== November 8 ===== ===== November 8 =====
  
-[[ns1:presentations|Presentations]]+Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park and Flavio Lerda. [[http://dx.doi.org/10.1023/A:1022920129859|Model Checking Programs]]. //Automated Software Engineering//, 10(2): 203-232, April 2003.
  
 +More information about Java PathFinder can be found
 +[[http://javapathfinder.sourceforge.net|here]].
  
 ===== November 13 ===== ===== November 13 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
  
-===== November 8 =====+===== November 15 =====
  
-Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park and Flavio Lerda. [[http://dx.doi.org/10.1023/A:1022920129859|Model Checking Programs]]. //Automated Software Engineering//, 10(2): 203-232, April 2003.+[[presentations:start|Presentations]] 
 + 
 +===== November 20 ===== 
 + 
 +[[presentations:start|Presentations]] 
 + 
 + 
 +===== November 22 ===== 
 + 
 +More information about JPF can be found 
 +[[jpf:start|here]].  Students are encouraged 
 +to add information.
  
-More information about Java PathFinder can be found 
-[[http://javapathfinder.sourceforge.net|here]]. 
  
 ===== November 27 ===== ===== November 27 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
 ===== November 29 ===== ===== November 29 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]]
  
 ===== December 4 ===== ===== December 4 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]] 
 + 
 +===== December 6 ===== 
 + 
 +[[presentations:start|Presentations]]
  
calendar.1194465570.txt.gz · Last modified: by franck