{"product_id":"concurrency-compositionality-and-correctness-essays-in-honor-of-willem-paul-de-roever-paperback","title":"Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eDennis Dams\u003c\/b\u003e (Editor), \u003cb\u003eUlrich Hannemann\u003c\/b\u003e (Editor), \u003cb\u003eMartin Steffen\u003c\/b\u003e (Editor)\u003c\/p\u003e\u003cp\u003eWhy would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwritersaddressinganaudienceofreaders-you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third, and you have had a profound impact on our formation as computer scientists.Atthepersonallevel, weknowyouasakind-hearted, generousperson. We are grateful to know you in these ways, and hope to have encounters with you in many years to come. AnotherlikelypossibilityisthatyouareCorinneorJojanneke, wifeordau- ter of Willem; the two strong pillars on which so much in his life is founded. You share the honor, respect, and love that went into the writing, as will be ackno- edged by those contributing authors that know you - which are almost all. Also, we would like to thank you for your help in sending us photographs for inclusion in this book, and for your encouragement. The next option is that you are one of the contributing authors. In this case you may wonder why it took us so long to get this work published. After all, wasn'tit\"almostdone\"alreadyattheretirementeventinJuly2008?Theanswer is twofold: we gave everyone ample time to revise their submissions in line with the recommendations by the referees; and we ourselves took ample time to put everything together. Our hope is that this will be visible in the quality of the ?nal result.\u003c\/p\u003e\u003ch3\u003eBack Jacket\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e \u003cp\u003eThe theme under which the papers have been collected is \u003cem\u003eConcurrency, Compositionality, and Correctness\u003c\/em\u003e, 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.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 377\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.9 x 9.3 x 6.1 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e February 24, 2010\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48704306872569,"sku":"9783642115110","price":89.08,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/4wHhDCrBq89783642115110.webp?v=1784811828","url":"https:\/\/bookscloud.io\/products\/concurrency-compositionality-and-correctness-essays-in-honor-of-willem-paul-de-roever-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}