Publication
-
August 1989
-
Correctness of concurrent processes In Proceedings
August 1989 -
The client/server model in distributed computing Article
CWI Quarterly, 2(3), 193-218.September 1989
-
An introduction to input/output automata Article
CWI Quarterly, 2(3), 219-246.September 1989
-
AIL - A class-oriented RPC stub generator for Amoeba Article
CWI Quarterly, 2(3), 247-256.September 1989
-
Discrete events and max-algebra Article
CWI Quarterly, 2(3), 257-258.September 1989
-
Functional dependencies of variables in wait-free programs In Proceedings
September 1989 -
October 1989