Insight Inspiration and Collaboration C. B. Jones and A. W. Roscoe From CSP to Game Semantics Samson Abramsky On Mereologies in Computing Science Dines Bjørner Roles Stacks Histories: A Triple for Hoare Johannes Borgstrom Andrew D. Gordon and Riccardo Pucella Forward with Hoare Mike Gordon and Helene Collavizza Probabilistic Programming with Coordination He Jifeng The Operational Principle and Problem Frames Michael Jackson The Role of Auxiliary Variables in the Formal Development of Concurrent Programs Cliff B. Jones Avoid a Void: The Eradication of Null Dereferencing Bertrand Meyer Alexander Kogtenkov and Emmanuel Stapf Unfolding CSP Mikkel Bundgaard and Robin Milner Quicksort: Combining Concurrency Recursion and Mutable Data Structures David Kitchin Adrian Quark and Jayadev Misra The Thousand-and-One Cryptographers AK McIver and CC Morgan On Process-algebraic Extensions of Metric Temporal Logic Christoph Haase Joel Ouaknine and James Worrell Fun with Type Functions Oleg Kiselyov Simon Peyton Jones and Chung-chieh Shan On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin CSP is Expressive Enough for ? A.W. Roscoe The Tokeneer Experiments Jim Woodcock Emine Gokce Aydal and Rod Chapman