Publication
-
Coordination of massively concurrent activities Tech Report
January 1995
-
Inheritance and cofree constructions Tech Report
January 1995
-
Equational term graph rewriting Tech Report
January 1995
-
January 1995
-
January 1995
-
On the final size of epidemics within herds Tech Report
January 1995
-
Honesty in partial logic Tech Report
January 1995
-
Secret-key certificates Tech Report
January 1995