hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID iD: 0000-0002-4869-6794
New University of Lisbon, Lisbon, Portugal.ORCID iD: 0000-0001-8074-0380
2011 (English)Conference proceedings (editor) (Other academic)
Abstract [en]

Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components. To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and software architecture are recognised as fundamental. The goal of the this workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and software architectures.

Place, publisher, year, edition, pages
Open Publishing Association , 2011. Vol. 58, 79 p.
Series
Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; 58
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20339DOI: 10.4204/EPTCS.58OAI: oai:DiVA.org:hh-20339DiVA: diva2:583418
Conference
FOCLASA 2011: 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, Aachen, Germany, September 10, 2011
Available from: 2013-01-08 Created: 2013-01-08 Last updated: 2015-04-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Mousavi, Mohammad RezaRavara, António

Search in DiVA

By author/editor
Mousavi, Mohammad RezaRavara, António
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 82 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf