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

Scaling invariance and contingent claim pricing Tech Report

J.K. Hoogland (Jiri) and C.D.D. Neumann

January 1999
A note on the superposition of Markov point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1999
A comparison of Spin and the $ mu $ CRL toolset on HAVi leader election protocol Tech Report

Y.S. Usenko (Yaroslav)

January 1999
Building documentation generators Tech Report

A. van Deursen (Arie) and T. Kuipers (Tobias)

January 1999
Model checking the HAVi leader election protocol Tech Report

J.M.T. Romijn (Judi)

January 1999
Complete axiomatisations of weak-, delay- and $ eta $ -bisimulation for process algebras with alternative quantification over data Tech Report

S.P. Luttik (Bas)

January 1999
Late-breaking papers of EuroGP-99 Tech Report

W.B. Langdon, R. Poli, P. Nordin and T. Fogarty

January 1999
Cylindric process algebras with conditionals give substitutionless $ p $ CRL Tech Report

S.P. Luttik (Bas)

January 1999

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