Publication
-
An extensible language for the generation of parallel data manipulation andcontrol packages Tech Report
January 1995
-
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report
January 1995
-
Minimal term rewriting systems Tech Report
January 1995
-
January 1995
-
January 1995
-
A survey of automated timetabling Tech Report
January 1995
-
Focus points and convergent process operators Tech Report
January 1995
-
Coordination of massively concurrent activities Tech Report
January 1995