Mechanization of the RC3's type system and its type safety proof, based in the mechanization made for OOlong's in https://github.com/EliasC/oolong. Further detail can be seen in B. Ferreira. Resource-Centered Concurrency Control, Mechanization of a Type Safety proof. MSc thesis, Instituto Superior Técnico, May 2019.
joaormatos / rc3-coq Goto Github PK
View Code? Open in Web Editor NEWThis project forked from beatrizagf/rc3-coq
Mechanization of the RC3's type system and its type safety proof