| 書目名稱 | Concurrency, Compositionality, and Correctness | | 副標題 | Essays in Honor of W | | 編輯 | Dennis Dams,Ulrich Hannemann,Martin Steffen | | 視頻video | http://file.papertrans.cn/236/235149/235149.mp4 | | 概述 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Concurrency, Compositionality, and Correctness網(wǎng)絡(luò)公開度
書目名稱Concurrency, Compositionality, and Correctness網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Concurrency, Compositionality, and Correctness被引頻次
書目名稱Concurrency, Compositionality, and Correctness被引頻次學(xué)科排名
書目名稱Concurrency, Compositionality, and Correctness年度引用
書目名稱Concurrency, Compositionality, and Correctness年度引用學(xué)科排名
書目名稱Concurrency, Compositionality, and Correctness讀者反饋
書目名稱Concurrency, Compositionality, and Correctness讀者反饋學(xué)科排名
|
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-22 19:55
發(fā)表于 2025-3-21 16:29:45
