Coordination Models and Languages Coordination Models and Languages

Coordination Models and Languages

    • $69.99
    • $69.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
2011
June 7
LANGUAGE
EN
English
LENGTH
231
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
4.9
MB

More Books Like This

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 Systems Formal Techniques for Distributed Systems
2011
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
2009
Web Services and Formal Methods Web Services and Formal Methods
2011

More Books by Wolfgang De Meuter & Gruia-Catalin Roman