Published in Volume XXI, Issue 1, 2011, pages 1-4

Authors: S. Ben Mokhtar, S. Bliudze, R. Bruni, A. Silva, A. Troina

Abstract

The authors emphasize the actual relevance and need of formal methods for the advancements of complex systems, and present briefly the other papers contained in this issue.

Full Text (PDF)

Bibtex

@article{sacscuza:ben2011caiics,
  title={Concurrency and Interaction in Complex Systems},
  author={S. Ben Mokhtar and S. Bliudze and R. Bruni and A. Silva and A. Troina},
  journal={Scientific Annals of Computer Science},
  volume={21},
  number={1},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2011},
  pages={1--4},
  publisher={``A.I. Cuza'' University Press}
}