Relational Reasoning in Concurrency
Publications
- A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations. Hongjin Liang, Xinyu Feng and Ming Fu. In Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12), Philadelphia, PA, pages 455 - 468, January 2012. ©2012 ACM.