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

Mohammad Reza Mousavi 1 Gwen Salaün 2, *
* Corresponding author
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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).
Document type :
Directions of work or proceedings
Mousavi, Mohammad Reza; Salaün, Gwen. France. 80(A), Elsevier, 2014, Science of Computer Programming, <10.1016/j.scico.2012.03.003>
Liste complète des métadonnées

https://hal.inria.fr/hal-00919799
Contributor : Gwen Salaün <>
Submitted on : Tuesday, December 17, 2013 - 12:44:49 PM
Last modification on : Wednesday, October 7, 2015 - 1:16:29 AM
Document(s) archivé(s) le : Monday, March 17, 2014 - 11:11:05 PM

File

preface_scp_foclasa10.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

405

Document downloads

87