Centrum Wiskunde & Informatica

MFCS greetings to Jaco W. de Bakker Book Chapter

J. Gruska

January 1989
The induction rule of De Bakker and Scott Book Chapter

W.H. Hesselink (Wim)

January 1989
Correctness of the two-phase commit protocol Book Chapter

J. van Leeuwen (Jan)

January 1989
Qualitative $\lambda$-models as type assignment systems Book Chapter

F. Honsell and S. Ronchi della Rocca

January 1989
A compositional semantics for statecharts Book Chapter

J. Hooman, S. Ramesh and W.P. de Roever

January 1989
Beste Jaco en Angeline Book Chapter

A. van der Houwen and P.J. van der Houwen (Piet)

January 1989
Scanner generation for modular regular grammars Book Chapter

P. Klint (Paul)

January 1989
Metric semantics for the input/output behaviour of sequential programs Book Chapter

J.N. Kok (Joost)

January 1989

Previous

Next