Publication
-
Exercises in parallel combinatorial computing Dissertation
June 1989 -
June 1989
-
Constructing a calculus of programs In Proceedings
June 1989 -
June 1989 -
The squiggolist Miscellaneous
July 1989 -
July 1989 -
August 1989
-
Correctness of concurrent processes In Proceedings
August 1989