Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence

Xiaowei Huang, Li Jiao, Weiming Lu. Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. Comput. J., 53(1):21-36, 2010. [doi]

Abstract

Abstract is missing.