Centrum Wiskunde & Informatica

Using transformations to verify parallel programs Tech Report

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

January 1989
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
Which data types have $ omega $ -complete initial algebra specifications? Tech Report

J.A. Bergstra (Jan) and J. Heering (Jan)

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

Previous

Next