| 书目名称 | Concurrency, Compositionality, and Correctness | | 副标题 | Essays in Honor of W | | 编辑 | Dennis Dams,Ulrich Hannemann,Martin Steffen | | 视频video | | | 概述 | 19 detailed papers by eminent scientists in the field of Concurrency, Compositionality and Correctness.Contains a detailed bibliography of the honoree.Closes with a gallery of photographs | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | Why 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 | | 出版日期 | Book 2010 | | 关键词 | GasP circuits; algorithms; alternative definitions; automated proofs; bisimulation; co-simulation; complex | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-11512-7 | | isbn_softcover | 978-3-642-11511-0 | | isbn_ebook | 978-3-642-11512-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer-Verlag GmbH, DE |
The information of publication is updating
书目名称Concurrency, Compositionality, and Correctness影响因子(影响力)
书目名称Concurrency, Compositionality, and Correctness影响因子(影响力)学科排名
书目名称Concurrency, Compositionality, and Correctness网络公开度
书目名称Concurrency, Compositionality, and Correctness网络公开度学科排名
书目名称Concurrency, Compositionality, and Correctness被引频次
书目名称Concurrency, Compositionality, and Correctness被引频次学科排名
书目名称Concurrency, Compositionality, and Correctness年度引用
书目名称Concurrency, Compositionality, and Correctness年度引用学科排名
书目名称Concurrency, Compositionality, and Correctness读者反馈
书目名称Concurrency, Compositionality, and Correctness读者反馈学科排名
|
|
|
发表于 2025-3-21 16:29:45
