Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Lazy and incremental program generation Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

January 1991
Real-time quadratic shading Tech Report

V.C.J. Disselkoen

January 1991
Facets of database triggers Tech Report

M.H. van der Voort and M.L. Kersten (Martin)

January 1991
Computing distinguising formulas for branching bisimulation Tech Report

H.P. Korver

January 1991
Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1991
A proof theory for process creation Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1991
A proof theory for a sequential version of POOL Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1991
A proof theory for the language POOL Tech Report

F.S. de Boer (Frank)

January 1991

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close