Centrum Wiskunde & Informatica

Extended term rewriting systems In Proceedings

J.W. Klop (Jan Willem) and R. de Vrijer

January 1991
The meaning of negative premises in transition system specifications (extended abstract) In Proceedings

R.N. Bol and J.F. Groote (Jan Friso)

January 1991
Introduction to program verification In Proceedings

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

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.

R.N. Bol, K.R. Apt (Krzysztof) and J.W. Klop (Jan Willem)

January 1991
Rendez-vous with metric semantics In Proceedings

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1991
CCS for OO and LP In Proceedings

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1991

Previous

Next