Contract-Oriented Computing in CO2, pages 5-60

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

Abstract | References | BibTeX | Full Text (PDF)

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

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

Abstract | References | BibTeX | Full Text (PDF)

Structured Operational Semantics for Graph Rewriting, pages 105-145

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

Abstract | References | BibTeX | Full Text (PDF)

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

Authors: T. Hirschowitz, D. Pous

Abstract | References | BibTeX | Full Text (PDF)

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

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

Abstract | References | BibTeX | Full Text (PDF)

Towards Interaction Reliability in Concurrent Applications, pages 1-4

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

Abstract | BibTeX | Full Text (PDF)