Nguyen Thi Thanh Tam - hitam.ntt@gmail.com
Ogata Laboratory
School of Information Science
Japan Advanced Institute of Science and Technology (JAIST)
Research:
Cafeobj: Proof scores of MCS and properties (Updated: 2018-03-16)
MCS specification and invariants
Proof scores of mutex:
mcs_mutex.zip : full scripts
mutex.cafe
inv1.cafe
inv2.cafe
inv3.cafe
inv4.cafe
inv5.cafe
inv6.cafe
inv7.cafe
inv8.cafe
inv9.cafe
inv10.cafe
inv11-1.cafe - inv11 part 1
inv11-2.cafe - inv11 part 2
inv12.cafe
inv13.cafe
inv14.cafe
inv15.cafe
inv16.cafe
inv17.cafe
inv18.cafe
inv19-1.cafe
inv19-2.cafe