Centrum Wiskunde & Informatica

A component class for design objects Tech Report

J.L.H. Rogier (Jan)

January 1990
Modeling design processes Tech Report

H. Takeda, T. Tomiyama, H. Yoshikawa and P. J. Veerkamp (Paul)

January 1990
Multiple worlds in an intelligent CAD system Tech Report

P. J. Veerkamp (Paul)

January 1990
IDDL: a language for intelligent interactive integrated CAD systems Tech Report

P. J. Veerkamp (Paul), P. Bernus, P.J.W. ten Hagen (Paul) and V. Akman (Varol)

January 1990
Formal semantics Tech Report

D.J.N. van Eijck (Jan)

January 1990
The meaning of negative premises in transition system specifications Tech Report

R.N. Bol and J.F. Groote (Jan Friso)

January 1990
Real time process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1990
A layered semantics for a parallel object-oriented language Tech Report

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1990

Previous

Next