author : Zhou Chaochen

Papers/Articles

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