Contract-Oriented Computing in CO2, pages 5-60

Authors: M. Bartoletti, E. Tuosto, R. Zunino

Three Algorithms and a Methodology for Amending Contracts for Choreographies, pages 61-104

Authors: L. Bocchi, J. Lange, E. Tuosto

Structured Operational Semantics for Graph Rewriting, pages 105-145

Authors: A. Dorman, T. Heindel, B. König

Innocent Strategies as Presheaves and Interactive Equivalences for CCS, pages 147-199

Authors: T. Hirschowitz, D. Pous

Overview of Thirty Semantic Formalisms for Reo, pages 201 - 251

Authors: S.-S. T.Q. Jongmans, F. Arbab

Towards Interaction Reliability in Concurrent Applications, pages 1-4

Authors: S. Bliudze, R. Bruni, M. Carbone, A. Silva