| 1 | -- | 2 | Roberto M. Amadio, Iain Phillips. Preface |
| 3 | -- | 26 | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi. Fair Pi |
| 27 | -- | 46 | Xu Wang, Marta Z. Kwiatkowska. Compositional State Space Reduction Using Untangled Actions |
| 47 | -- | 64 | Ahmed Bouajjani, Jan Strejcek, Tayssir Touili. On Symbolic Verification of Weakly Extended PAD |
| 65 | -- | 73 | Robin Milner. Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract) |
| 75 | -- | 86 | Vincent Danos, Jean Krivine, Pawel Sobocinski. General Reversibility |
| 87 | -- | 108 | Daniele Gorla. Synchrony vs Asynchrony in Communication Primitives |
| 109 | -- | 129 | Lucy Saunders-Evans, Glynn Winskel. Event Structure Spans for Nondeterministic Dataflow |
| 131 | -- | 149 | Luís Caires, Hugo Torres Vieira. Extensionality of Spatial Observations in Distributed Systems |