Concurrency and Interaction in Complex Systems

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.

Bibliographic Details
Main Authors: S. Ben Mokhtar, S. Bliudze, R. Bruni, A. Silva, A. Troina
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2011-06-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XXI1/XXI1_6.pdf