CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Dynamic interpretation and Hoare deduction Article
Journal of Logic, Language and Information, 1(1), 1-44.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 -
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