Publication
-
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 -
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
January 1992 -
A semantic approach to fairness Article
Fundamenta Informaticae, 16(1), 1-38.January 1992