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

Processes as terms: non-well-founded models for bisimulation Tech Report

J.J.M.M. Rutten (Jan)

January 1992
Bisimulation semantics for concurrency with atomicity and action refinement Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1992
A simple specification language combining processes, time and data Tech Report

W.J. Fokkink (Wan)

January 1992
XlnPosse: structural simulation for graphics hardware Tech Report

M.A. Guravage (Michael), E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

January 1992
Towards a design theory for database triggers Tech Report

A.P.J.M. Siebes (Arno), M.H. van der Voort and M.L. Kersten (Martin)

January 1992
On steady, inviscid shock waves at contnuously curved, convex surfaces Tech Report

B. Koren (Barry) and H.T.M. van der Maarel (Eric)

January 1992
ERCIM News questionnaire 1992 Other

January 1992
De boze brieven Book

B. Niksaart (Bop)

January 1992

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