CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
January 1985 -
January 1985 -
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 -
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