home
>
book reviews
> Zhan Naijun
Google >
Zhan Naijun
author : Zhan Naijun
Short works
A higher-order duration calculus. 2000.
(In
Millennial Perspectives in Computer Science
)