Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever /
Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
- New York : Springer, 2010.
- x, 375 p. : ill.
- LNCS sublibrary. SL 1, Theoretical computer science and general is Lecture notes in computer science ; festschrift ; v. 5930 .
Includes bibliographical references and index. Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9)