SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "id:"swepub:oai:DiVA.org:hh-20339" "

Search: id:"swepub:oai:DiVA.org:hh-20339"

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
  • 2011
  • Editorial proceedings (other academic/artistic)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
editorial proceedings (1)
Type of content
other academic/artistic (1)
Author/Editor
Mousavi, Mohammad Re ... (1)
Ravara, Antonio (1)
University
Halmstad University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
2011 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view