Publication

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)

Algebraic and geometric methods in nonlinear control theory Book

Mathematics and computer science II : fundamental contributions in the Netherlands since 1945 : [symposium held in Amsterdam, 06-07.10.1986] Book

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