Sample inputs for CAAL (Concurrency Workbench, Aalborg Version)
Sample inputs for verification of Peterson's algorithm
Homework assignments will be announced through ITC-LMS, and reports on them should also be submitted through ITC-LMS. Plagiarism is strictly prohibited. See also this page.
Previous homeworks and partial solutions for them are available here.