Publication
-
Calculate categorically ! Tech Report
January 1991
-
CCS for OO and LP Tech Report
January 1991
-
A proof theory for the language POOL Tech Report
January 1991
-
A pointwise criterion for controller robustness Tech Report
January 1991
-
Temporal Issues of Animate Response Book Chapter
January 1991 -
A Display Controller for an Object-level Frame Store System In Proceedings
January 1991 -
XInPosse: Structural Simulation for Graphics Hardware In Proceedings
January 1991 -
Book review Article
CWI Quarterly, 4(1), 73-74.January 1991