Concurrency, Compositionality, and Correctness

Essays in Honor of Willem-Paul de Roever

  • Dennis Dams
  • Ulrich Hannemann
  • Martin Steffen

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5930)

Table of contents

  1. Front Matter
  2. Dennis Dams, Ulrich Hannemann, Martin Steffen
    Pages 1-9
  3. Peter van Emde Boas
    Pages 10-21
  4. Dines Bjørner, Asger Eir
    Pages 22-59
  5. Leslie Lamport
    Pages 60-65
  6. Cornelis Huizing, Ron Koymans, Ruurd Kuiper
    Pages 66-73
  7. Ernst-Rüdiger Olderog, Andreas Podelski
    Pages 96-117
  8. Shivali Agarwal, R. K. Shyamasundar
    Pages 162-184
  9. Dave Clarke, Einar Broch Johnsen, Olaf Owe
    Pages 185-206
  10. David Harel, Amir Kantor, Shahar Maoz
    Pages 207-220
  11. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Pages 221-236
  12. E. Allen Emerson
    Pages 237-249
  13. Kai Engelhardt, Ralf Huuck
    Pages 250-259
  14. Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan Sutherland
    Pages 260-276
  15. Joudicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
    Pages 300-321
  16. Ansgar Fehnker, Ralf Huuck, Sean Seefried
    Pages 322-341
  17. Back Matter

About this book


This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs.

The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.


GasP circuits algorithms alternative definitions automated proofs bisimulation co-simulation complexity distributed systems embedded systems formal semantics model checking modeling parallelization proof systems scheduling

Editors and affiliations

  • Dennis Dams
    • 1
  • Ulrich Hannemann
    • 2
  • Martin Steffen
    • 3
  1. 1.Bell LaboratoriesMurray HillUSA
  2. 2.Computer Science DepartmentUniversity of BremenBremenGermany
  3. 3.Faculty of Mathematics and Natural Sciences, Department of Computer ScienceUniversity of OsloBlindern, OsloNorway

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-11511-0
  • Online ISBN 978-3-642-11512-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment