Browse wiki
From CERES
| Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures |
| Abstract | <p>Computation nowadays is becoming … <p>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.</p>ages and software architectures.</p> |
|---|---|
| Author | Mohammad Reza Mousavi + , António Ravara + |
| Conference | FOCLASA 2011 : 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, Sep 10, 2011, Aachen, Germany |
| DOI | http://dx.doi.org/10.4204/EPTCS.58 + |
| Diva | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583418 |
| PublicationType | Conference Proceedings + |
| Publisher | Open Publishing Association + |
| Title | Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + |
| Volume | 58 + |
| Year | 2011 + |
| Has queryThis property is a special property in this wiki. | Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + , Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + |
| Categories | Publication + |
| Modification dateThis property is a special property in this wiki. | 26 June 2014 03:43:38 + |
| hide properties that link here |
| No properties link to this page. |
