CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1992 -
Influence of memory systems on vector processor performance Article
Applied Numerical Mathematics, 10(1), 59-72.January 1992 -
Dynamic interpretation and Hoare deduction Article
Journal of Logic, Language and Information, 1(1), 1-44.January 1992 -
Spatial-scaling-compatible morphological granulometries on locally convex topological vector spaces In Proceedings
E.J. Kraus (Eugene), H.J.A.M. Heijmans (Henk) and E.R. Dougherty (Edward)
January 1992 -
Structured operational semantics and bisimulation as a congruence Article
Information and Computation, 100(2), 201-260.January 1992 -
Continuous Hahn polynomials of differential operator argument and analysis on Riemannian symmetric spaces of constant curvature Article
Canadian Journal of Mathematics, 44(4), 750-773.January 1992 -
Verification of parallel systems via decomposition In Proceedings
January 1992 -
A predicate transformer for unification In Proceedings
January 1992