CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Non-interfering network flows In Proceedings
C.J.H. McDiarmid (Colin), B. Reed, A. Schrijver (Lex) and F.B. Shepherd (Bruce)
January 1992 -
Adjoints of semigroups acting on vector-valued function spaces Article
Israel Journal of Mathematics, 77(3), 305-333.January 1992 -
Realization and partial fractions Article
Linear Algebra and its Applications, 195-222.January 1992 -
ICM for object recognition In Proceedings
A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)
January 1992