| 書(shū)目名稱(chēng) | Concurrency, Compositionality, and Correctness | | 副標(biāo)題 | 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 | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness影響因子(影響力)
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness被引頻次
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness被引頻次學(xué)科排名
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness年度引用
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness年度引用學(xué)科排名
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness讀者反饋
書(shū)目名稱(chēng)Concurrency, Compositionality, and Correctness讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-22 19:54
發(fā)表于 2025-3-21 16:29:45
