Books
Data Refinement: Model-Oriented Proof Methods and their Comparison
by Willem-Paul de
Roever and Kai Engelhardt
(with the assistance of Jos Coenen, Karl-Heinz Buth, Paul Gardiner, Yassine Lakhnech, and Frank
Stomp; Cambridge University Press, 3rd
December, 1998; 247 x 174 mm, ca. 430 pages, 18 half-tones, 44 diagrams, and 93
exercises; ISBN 0 521 64170 5; £45 / US$69.95.)
=> More information,
list of errata
Concurrency Verification: Introduction to Compositional and
Noncompositional Methods
by Willem-Paul de
Roever, Frank de Boer,
Ulrich Hannemann,
Jozef Hooman, Yassine Lakhnech,
Mannes
Poel, and Job Zwiers.
xxiv+776 pages, 5 tables, 84 figures, and 156 excercises; ISBN
0 521 80608 9; £80/US$120.
Cambridge Tracts in Theoretical Computer Science 54,
Cambridge University Press,
November 29, 2001.
=> More information, list of errata
Manuscripts
A Compositional Approach to Concurrency and its Applications
(incomplete manuscript)
Referred to in the book above as ``Compositional Theory of Concurrency''
by Jozef Hooman,
Willem-Paul de
Roever, Paritosh Pandya,
Qiwen Xu, Ping Zhou, Henk Schepers.
Download version of 9-Apr-2003:
[PostScript file, 1.8 MB]
Maintained by
Ben Lukoschus
(bls@informatik.uni-kiel.de)
Last modified: 2003-04-11 14:16:53 MEST (+0200)