author : Zhan Naijun

Short works

• A higher-order duration calculus. 2000. (In Millennial Perspectives in Computer Science )