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

Verification of parallel systems via decomposition Tech Report

J.F. Groote (Jan Friso) and F. Moller

January 1992
A singular perturbation theorem for evolution equations and time-scale arguments for structured population models Tech Report

G. Greiner, J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1992
Asynchronous communication in process algebra : extended abstract Tech Report

F.S. de Boer (Frank), J.W. Klop (Jan Willem) and C. Palamidessi (Catuscia)

January 1992
The saturating contact rate in marriage- and epidemic models Tech Report

J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1992
Mathematics as technology: mathematical engineering Tech Report

G. Alberts (Gerard)

January 1992
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

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