Abstract is missing.
- Insight, Inspiration and CollaborationClifford B. Jones, A. W. Roscoe. 1-32 [doi]
- From CSP to Game SemanticsSamson Abramsky. 33-45 [doi]
- On Mereologies in Computing ScienceDines Bjørner. 47-70 [doi]
- Roles, Stacks, Histories: A Triple for HoareJohannes Borgström, Andrew D. Gordon, Riccardo Pucella. 71-99 [doi]
- Forward with HoareMike Gordon, Hélène Collavizza. 101-121 [doi]
- Probabilistic Programming with CoordinationJifeng He. 123-142 [doi]
- The Operational Principle and Problem FramesMichael Jackson. 143-165 [doi]
- The Role of Auxiliary Variables in the Formal Development of Concurrent ProgramsClifford B. Jones. 167-187 [doi]
- Avoid a Void: The Eradication of Null DereferencingBertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf. 189-211 [doi]
- Unfolding CSPMikkel Bundgaard, Robin Milner. 213-228 [doi]
- Quicksort: Combining Concurrency, Recursion, and Mutable Data StructuresDavid Kitchin, Adrian Quark, Jayadev Misra. 229-254 [doi]
- The Thousand-and-One CryptographersA. K. McIver, Carroll C. Morgan. 255-282 [doi]
- On Process-Algebraic Extensions of Metric Temporal LogicChristoph Haase, Joël Ouaknine, James Worrell. 283-300 [doi]
- Fun with Type FunctionsOleg Kiselyov, Simon L. Peyton Jones, Chung-chieh Shan. 301-331 [doi]
- On CSP and the Algebraic Theory of EffectsRob J. van Glabbeek, Gordon D. Plotkin. 333-369 [doi]
- πA. W. Roscoe. 371-404 [doi]
- The Tokeneer ExperimentsJim Woodcock, Emine Gökçe Aydal, Rod Chapman. 405-430 [doi]