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
Books Year : 2014

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

Mohammad Reza Mousavi
  • Function : Scientific advisor
Center for Research on Embedded Systems
Gwen Salaün
  • Function : Correspondent author
  • PersonId : 880331

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

Abstract

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

Domains

Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
preface_scp_foclasa10.pdf (31.87 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-00919799

Submitted on : Tuesday, December 17, 2013-12:44:49 PM

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

Long-term archiving on : Monday, March 17, 2014-11:11:05 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
309 View
84 Download

Altmetric

Share

More