author : Dimitar P. Guelev

Short works

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