Coordination Models and Languages
-
- 69٫99 US$
-
- 69٫99 US$
وصف الناشر
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.
Coordination Models and Languages
٢٠٠٩
Formal Techniques for Networked and Distributed Systems - FORTE 2007
٢٠٠٧
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٦
Coordination Models and Languages
٢٠١٦
Formal Techniques for Distributed Systems
٢٠١١
Formal Aspects of Component Software
٢٠١٦