Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Gibson-Robinson, Thomas; Hopcroft, Philippa; Lazić, Ranko (Springer International Publishing : Imprint: Springer, 2017)