CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Topological models for higher order control flow Tech Report
January 1993
-
Relating state transformation semantics and predicate transformer semantics for parallel programs Tech Report
January 1993
-
Comparative semantics for linear arrays of communicating processes Tech Report
J.W. de Bakker (Jaco), F. van Breugel and A. de Bruin (Arie)
January 1993
-
January 1993
-
January 1993 -
January 1993
-
January 1993
-
January 1993