%0 Journal Article
%T Concurrency and Interaction in Complex Systems
%A S. Ben Mokhtar
%A S. Bliudze
%A R. Bruni
%A A. Silva
%J Scientific Annals of Computer Science
%D 2011
%I Alexandru Ioan Cuza University of Iasi
%X 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.
%U http://www.infoiasi.ro/bin/download/Annals/XXI1/XXI1_6.pdf