Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings /
Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / [electronic resource] :
edited by Wolfgang De Meuter, Gruia-Catalin Roman.
- 1st ed. 2011.
- XII, 219 p. 69 illus., 18 illus. in color. online resource.
- Programming and Software Engineering, 6721 2945-9168 ; .
- Programming and Software Engineering, 6721 .
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.
9783642214646
10.1007/978-3-642-21464-6 doi
Software engineering.
Computer programming.
Computer networks .
Computer science.
Application software.
Software Engineering.
Programming Techniques.
Computer Communication Networks.
Models of Computation.
Computer and Information Systems Applications.
QA76.758
005.1
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.
9783642214646
10.1007/978-3-642-21464-6 doi
Software engineering.
Computer programming.
Computer networks .
Computer science.
Application software.
Software Engineering.
Programming Techniques.
Computer Communication Networks.
Models of Computation.
Computer and Information Systems Applications.
QA76.758
005.1