Publication

Denotational semantics of nets with nondeterminism Tech Report

J.N. Kok (Joost)

Extended general design theory Tech Report

T. Tomiyama and H. Yoshikawa

Contrasting themes in the semantics of imperative concurrency Tech Report

J.W. de Bakker (Jaco), J.N. Kok (Joost), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Pattern representation Tech Report

P.J.W. ten Hagen (Paul) and C.G. Trienekens

Transition systems, metric spaces and ready sets in the semantics of uniform concurrency Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Euler flow solutions for a transonic windtunnel section Tech Report

B. Koren (Barry)

Wetenschappelijk Centrum Watergraafsmeer : een greep uit onderzoek en technologie Booklet

Sensitivity theorems in integer programming Article

W.J. Cook, A.M.H. Gerards (Bert), A. Schrijver (Lex) and É. Tardos