CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Hybrid I/O automata Tech Report
N.A. Lynch (Nancy), R. Segala, F.W. Vaandrager (Frits) and H.B. Weinberg
January 1995
-
Two-sorted metric temporal logics Tech Report
January 1995
-
January 1995
-
An extensible language for the generation of parallel data manipulation andcontrol packages Tech Report
H.R. Walters (Pum), J.F.T. Kamperman (Jasper) and T.B. Dinesh
January 1995
-
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report
M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)
January 1995
-
January 1995
-
January 1995
-
January 1995