Publication
-
January 1993
-
The correlated M/G/1 queue Tech Report
January 1993
-
January 1993
-
A structural co-induction theorem Tech Report
January 1993
-
Relating state transformation semantics and predicate transformer semantics for parallel programs Tech Report
January 1993
-
On the unification free Prolog programs Tech Report
January 1993
-
Fully abstract models for concurrent languages Dissertation
Computer SecurityJanuary 1993
-
Specification and Support of Adaptable Networked Multimedia Article
Multimedia Systems, 1(2), 68-76.January 1993