Scientific Annals of Computer Science (Jun 2011)

Concurrency and Interaction in Complex Systems

  • S. Ben Mokhtar,
  • S. Bliudze,
  • R. Bruni,
  • A. Silva,
  • A. Troina

Journal volume & issue
Vol. XXI, no. 1
pp. 1 – 4

Abstract

Read online

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.