Publication
-
January 1991
-
Normal forms in real time process algebra Tech Report
January 1991
-
January 1991
-
A sound and complete calculus for update logic Tech Report
January 1991
-
Quantification and partiality Tech Report
January 1991
-
The dynamics of description Tech Report
January 1991
-
Limit theorems for functionals of convex hulls Tech Report
January 1991
-
January 1991