Jifeng He. Linking Theories of Concurrency by Retraction. In Goutam Chakraborty, editor, Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings. Volume 3816 of Lecture Notes in Computer Science, pages 432, Springer, 2005. [doi]