Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi



Volume XXII, Issue 1, 2012

Towards Interaction Reliability in Concurrent Applications, pages 1-4
S. Bliudze, R. Bruni, M. Carbone, A. Silva
Abstract | BibTeX | Full text (PDF)

Contract-Oriented Computing in CO2, pages 5-60
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
L. Bocchi, J. Lange, E. Tuosto
Abstract | References | BibTeX | Full text (PDF)

Structured Operational Semantics for Graph Rewriting, pages 105-145
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
T. Hirschowitz, D. Pous
Abstract | References | BibTeX | Full text (PDF)

Overview of Thirty Semantic Formalisms for Reo, pages 201 - 251
S.-S. T.Q. Jongmans, F. Arbab
Abstract | References | BibTeX | Full text (PDF)


© 2006-2017 FII | Contact: annals at info.uaic.ro