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

Short works

• 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 )