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 Access content directly
Books Year : 2012

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

Gwen Salaün
  • Function : Correspondent author
  • PersonId : 880331

Connectez-vous pour contacter l'auteur
Construction of verified concurrent systems
Marjan Sirjani
  • Function : Scientific advisor
Reykjavík University

Abstract

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

Domains

Software Engineering [cs.SE] Digital Libraries [cs.DL]
Fichier principal
Vignette du fichier
preface_scp_foclasa09.pdf (42.49 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Gwen Salaün  : Connect in order to contact the contributor

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

Submitted on : Monday, June 30, 2014-11:39:39 AM

Last modification on : Thursday, April 4, 2024-9:11:11 PM

Long-term archiving on: Tuesday, September 30, 2014-3:16:21 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
541 View
151 Download

Altmetric

Share

Gmail Facebook X LinkedIn More