Coordination Models and Languages [electronic resource] :13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Wolfgang Meuter, Gruia-Catalin Roman.
by Meuter, Wolfgang [editor.]; Roman, Gruia-Catalin [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6721Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: XII, 219p. online resource.ISBN: 9783642214646.Subject(s): Computer science | Computer Communication Networks | Software engineering | Information systems | Computer Science | Software Engineering | Programming Techniques | Software Engineering/Programming and Operating Systems | Computer Communication Networks | Models and Principles | Information Systems Applications (incl.Internet)DDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verication and analysis techniques.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Top Productivity through Software Reuse | QA76.758 FM 2011: Formal Methods | QA76.758 Formal Methods for Eternal Networked Software Systems | QA76.758 Coordination Models and Languages | QA76.758 Modelling Foundations and Applications | QA76.758 End-User Development | QA76.758 Analytical and Stochastic Modeling Techniques and Applications |
This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verication and analysis techniques.
There are no comments for this item.