The files in this repository are being developed, and are not in a final state!
labs/
: models and notes for summer-school labslab1/
: reachability in networkinglab2/
: locking algorithmslock1a.als
: flag-raising approach (oops)lock1b.als
: flag-raising (fixed)lock2a.als
: polite approach (oops)lock2b.als
: polite (fixed)peterson.als
: Peterson lock (oops)petersonb.als
: Peterson lock (fixed)
Contact: Tim Nelson ([email protected]).