Chapter Modal proofs as distributed programs 2004 • Lecture Notes in Computer Science • 2986:219-233 Jia LM, Walker D
Conference Reasoning about hierarchical storage 2003 • Proceedings - Symposium on Logic in Computer Science • 33-44 Ahmed A, Jia LM, Walker D
Journal Article Modal Crash Types for WAR-Aware Intermittent Computing • ACM Transactions on Programming Languages and Systems Dotzel M, Derakhshan F, Surbatovich M, Jia L
