Centrum Wiskunde & Informatica

Deriving denotational models for bisimulation from structured operational semantics Tech Report

J.J.M.M. Rutten (Jan)

January 1989
A parallel object-oriented language: design and semantic foundations Tech Report

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1989
Convergence of linear multistep and one-leg methods for stiff nonlinear initial value problems Tech Report

W. Hundsdorfer (Willem) and B.I. Steininger

January 1989
Control flow versus logic: a denotational and a declarative model for guarded Horn clauses Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1989
Semantic models for a version of PARLOG Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1989
Interconnected networks of queues with randomized arrival and departure blocking Tech Report

P.R. de Waal and N.M. van Dijk

January 1989
Mathematical morphology on homogeneous spaces Tech Report

J.B.T.M. Roerdink (Jos)

January 1989
A static-regridding method for two-dimensional parabolic partial differential equations Tech Report

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1989

Previous

Next