Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi

Concurrency and Interaction in Complex Systems

Published in Volume XXI, Issue 1, 2011, p. 1-4, doi:

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


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

© 2006-2019 FII | Contact: annals at