Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10)

Mohammad Reza Mousavi
  • Fonction : Directeur scientifique
Center for Research on Embedded Systems
Gwen Salaün
  • Fonction : Auteur correspondant
  • PersonId : 880331

Connectez-vous pour contacter l'auteur
Construction of verified concurrent systems

Résumé

This section contains extended versions of selected papers from the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'10).

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
preface_scp_foclasa10.pdf (31.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Gwen Salaün  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00919799

Soumis le : mardi 17 décembre 2013-12:44:49

Dernière modification le : jeudi 4 avril 2024-21:29:33

Archivage à long terme le : lundi 17 mars 2014-23:11:05

Télécharger pour visualiser

Dates et versions

hal-00919799 , version 1 (17-12-2013)

Identifiants

Citer

Mohammad Reza Mousavi (Dir.). Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10). Mousavi, Mohammad Reza; Salaün, Gwen. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2012.03.003⟩. ⟨hal-00919799⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
306 Consultations
77 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More