Concurrency and interaction in complex systems

Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni; Alexandra Silva; Angelo Troina

Concurrency and interaction in complex systems

Sonia Ben Mokhtar
, Simon Bliudze
, Roberto Bruni
, Alexandra Silva
, Angelo Troina

École Polytechnique

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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

langue originale	Anglais
Pages (de - à)	1-4
Nombre de pages	4
journal	Scientific Annals of Computer Science
Volume	21
état	Publié - 1 janv. 2011

Contient cette citation

@article{574d2fc2a6964fbd966e466c18fa2cb1,

title = "Concurrency and interaction in complex systems",

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

author = "\{Ben Mokhtar\}, Sonia and Simon Bliudze and Roberto Bruni and Alexandra Silva and Angelo Troina",

year = "2011",

month = jan,

day = "1",

language = "English",

volume = "21",

pages = "1--4",

journal = "Scientific Annals of Computer Science",

issn = "1843-8121",

publisher = "Alexandru Ioan Cuza University of Iasi",

}

TY - JOUR

T1 - Concurrency and interaction in complex systems

AU - Ben Mokhtar, Sonia

AU - Bliudze, Simon

AU - Bruni, Roberto

AU - Silva, Alexandra

AU - Troina, Angelo

PY - 2011/1/1

Y1 - 2011/1/1

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

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

M3 - Article

AN - SCOPUS:79960704587

SN - 1843-8121

VL - 21

SP - 1

EP - 4

JO - Scientific Annals of Computer Science

JF - Scientific Annals of Computer Science

ER -

Concurrency and interaction in complex systems

Résumé

Empreinte digitale

Contient cette citation