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)

3642115128


Roever, W.-P. de, 1943-


Computer science
Parallel programming (Computer science)
Computer programs--Correctness.

QA76 / .C663 2010eb

004.350151135 / C744