author : He Jifeng

Books

• (Provably Correct Systems: modelling of communication languages and design of optimized compilers. 1995)
• Unifying Theories of Programming. 1998. With C. A. R. Hoare

Papers/Articles

• A Behavioral Model for Co-design. 1999. In FM'99 volume 2
• Advanced features of the duration calculus. 2000. In Millennial Perspectives in Computer Science
• A trace model for pointers and objects. 2003. In Programming Methodology