Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09) - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2012

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)

Gwen Salaün
  • Fonction : Auteur correspondant
  • PersonId : 880331

Connectez-vous pour contacter l'auteur
Construction of verified concurrent systems
Marjan Sirjani
  • Fonction : Directeur scientifique
Reykjavík University

Résumé

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

Domaines

Génie logiciel [cs.SE] Bibliothèque électronique [cs.DL]
Fichier principal
Vignette du fichier
preface_scp_foclasa09.pdf (42.49 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-01016438

Soumis le : lundi 30 juin 2014-11:39:39

Dernière modification le : lundi 16 décembre 2024-15:38:09

Archivage à long terme le : mardi 30 septembre 2014-15:16:21

Télécharger pour visualiser

Dates et versions

hal-01016438 , version 1 (30-06-2014)

Identifiants

Citer

Marjan Sirjani (Dir.). Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Gwen Salaün and Marjan Sirjani. Elsevier, 77, pp.3, 2012, ⟨10.1016/j.scico.2011.09.006⟩. ⟨hal-01016438⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
553 Consultations
158 Téléchargements

Altmetric

Partager

More