> He Jifeng
author : He Jifeng
Provably Correct Systems: modelling of communication languages and design of optimized compilers
Unifying Theories of Programming
C. A. R. Hoare
A Behavioral Model for Co-design. 1999.
FM'99 volume 2
Advanced features of the duration calculus. 2000.
Millennial Perspectives in Computer Science
A trace model for pointers and objects. 2003.