author : Zhou Chaochen

Short works

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