Junyan Qian, Baowen Xu. Compositional Abstraction for Concurrent Programs. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1. pages 399-404, CSREA Press, 2006.
Abstract is missing.