Concurrency, Security, and Puzzles

Discover the fascinating world of Concurrency, Security, and Puzzles, a tribute to the esteemed Andrew William (Bill) Roscoe on his 60th birthday. Authored by Thomas Gibson-Robinson and published by Springer International Publishing AG in 2016, this engaging festschrift features contributions from notable figures such as Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. With a comprehensive page count of 319 pages, this book delves into Roscoe's groundbreaking work in analyzing security protocols, modeling information flow, and exploring human-interactive security. Ideal for scholars and enthusiasts alike, this first edition offers valuable insights into the intricate connections between concurrency and security, making it a must-have addition to your collection. Enhance your understanding of these critical topics with this remarkable publication.