CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1986 -
January 1986 -
January 1986 -
Extended general design theory Tech Report
January 1986 -
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
January 1986 -
Pattern representation Tech Report
January 1986 -
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
January 1986 -
January 1986