| 书目名称 | Concurrency, Security, and Puzzles | | 副标题 | Essays Dedicated to | | 编辑 | Thomas Gibson-Robinson,Philippa Hopcroft,Ranko Laz | | 视频video | | | 概述 | Includes supplementary material: | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more. . Many of these areas are reflected in the 15 invited research articles in this festschrift, and in the presentations at the "BILL-60" symposium held in Oxford, UK, on January 9 and 10, 2017.. | | 出版日期 | Book 2017 | | 关键词 | formal methods; model checking; process algebra; substitutive refinement; verification; computer security | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-51046-0 | | isbn_softcover | 978-3-319-51045-3 | | isbn_ebook | 978-3-319-51046-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing AG 2017 |
The information of publication is updating
书目名称Concurrency, Security, and Puzzles影响因子(影响力)
书目名称Concurrency, Security, and Puzzles影响因子(影响力)学科排名
书目名称Concurrency, Security, and Puzzles网络公开度
书目名称Concurrency, Security, and Puzzles网络公开度学科排名
书目名称Concurrency, Security, and Puzzles被引频次
书目名称Concurrency, Security, and Puzzles被引频次学科排名
书目名称Concurrency, Security, and Puzzles年度引用
书目名称Concurrency, Security, and Puzzles年度引用学科排名
书目名称Concurrency, Security, and Puzzles读者反馈
书目名称Concurrency, Security, and Puzzles读者反馈学科排名
|
|
|
发表于 2025-3-21 16:35:39
