CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Extended term rewriting systems In Proceedings
January 1991
-
The meaning of negative premises in transition system specifications (extended abstract) In Proceedings
January 1991
-
Introduction to program verification In Proceedings
January 1991 -
Preserving liveness. Comments on: 'Safety and liveness from a methodological point of view' Article
Information Processing Letters, 40(3), 141-142.M. Abadi, B. Alpern, K.R. Apt (Krzysztof), N. Francez, S. Katz, L. Lamport and F.B. Schneider
January 1991 -
Convergence properties of the Runge-Kutta-Chebyshev method In Proceedings
J.G. Verwer (Jan), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)
January 1991 -
An analysis of loop checking mechanisms for logic programs Article
Theoretical Computer Science, 86(1), 35-79.January 1991 -
Rendez-vous with metric semantics In Proceedings
January 1991 -
CCS for OO and LP In Proceedings
January 1991