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 2014
-
Programming with actors in Java 8 In Proceedings
January 2014 -
Scaling future software: the manycore challenge Article
ERCIM NewsF.S. de Boer (Frank), E.B. Johnsen (Einar Broch), D.G. Clarke (David), S. Drossopoulou, N. Yoshida (Nobuko) and T. Wrigstad
January 2014 -
(Co)algebraic chraracterizations of signal flow graphs In Proceedings
H.H. Hansen (Helle), H. Basold (Henning), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2014
-
A final coalgebra for k-regular sequences In Proceedings
H.H. Hansen (Helle), C.A. Kupke (Clemens), J.J.M.M. Rutten (Jan) and J. Winter (Joost)
January 2014
-
A note on typed behavioural differential equations In Proceedings
H.H. Hansen (Helle), H. Basold (Henning) and J.J.M.M. Rutten (Jan)
January 2014
-
The Performance Use Case Magazine Article
January 2014
-
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs In Proceedings
January 2014