CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
April 1990 -
April 1990 -
May 1990
-
Comparative concurrency semantics and refinement of actions Dissertation
Specification and Analysis of Embedded SystemsMay 1990 -
May 1990 -
May 1990 -
A layered semantics for a parallel object-oriented language In Proceedings
May 1990 -
A central problem in the algorithmic geometry of numbers: lattice reduction Article
CWI Quarterly, 3(2), 95-120.June 1990