Centrum Wiskunde & Informatica

Syntax and defining equations for an interrupt mechanism in process algebra Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1985
Conditional axioms and ***/*** calculus in process algebra Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1985
Variaties op het thema 'stack' [Variations on the theme 'stack'] : een oefening in algebraische specificatie [an exercise in algebraic specification] Tech Report

J. Heering (Jan)

January 1985
Integer-square-root : een voorbeeld van en inleiding tot programmatransformaties [an example of and introduction to program transformations] Tech Report

N.W.P. van Diepen

January 1985
On the holomorphic continuation of the Iwasawa and a related decomposition Tech Report

E.P. van der Ban

January 1985
Simple mathematical models for cannibalism: a critique and a new approach Tech Report

O. Diekmann (Odo), R.M. Nisbet, W.S.C. Gurney and F. van den Bosch

January 1985
Partial evaluation and w-completeness of algebraic specifications Tech Report

J. Heering (Jan)

January 1985
Symmetric linear multistep methods for second-order differential equations with periodic solutions Tech Report

B.P. Sommeijer (Ben), P.J. van der Houwen (Piet) and B. Neta

January 1985

Previous

Next