Opening book details…
Can I read Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday on EtoBox?
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.) is a computer science book available to read on EtoBox.
What is Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday about?
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. Ma
Who reads Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2017
- Language
- EN
- ISBN
- 9783319510460
- Category
- computer science
- Subjects
- Engineering, Mathematics, Language Learning
- Updated
- 2026-03-25
More by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.)
Browse all works by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (eds.)
Similar books
- Computability And Complexity: Essays Dedicated To Rodney G. Downey On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond (2017)
- Conceptual Modelling and Its Theoretical Foundations [recurso electrónico] Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday — Antje Düsterhöft, Meike Klettke (auth.), Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (2012)
- Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 5760) — Robert L. Constable (auth.), Susanne Albers, Helmut Alt, Stefan Näher (2009)
- Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday — Solomon Marcus (auth.), Jozef Kelemen, Alica Kelemenová (2011)
- Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 7230) — Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (2012)
- Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) — Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (2019)