Coordination Models and Languages Coordination Models and Languages

Coordination Models and Languages

    • US$69.99
    • US$69.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2011년
6월 7일
언어
EN
영어
길이
231
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
4.9
MB
Coordination Models and Languages Coordination Models and Languages
2009년
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2016년
Coordination Models and Languages Coordination Models and Languages
2016년
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
2011년
Formal Aspects of Component Software Formal Aspects of Component Software
2016년