Coordination Models and Languages Coordination Models and Languages

Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

    • US$39.99
    • US$39.99

출판사 설명

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.
The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.

장르
컴퓨터 및 인터넷
출시일
2019년
6월 4일
언어
EN
영어
길이
281
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
26.9
MB
Coordination Models and Languages Coordination Models and Languages
2020년
Coordination Models and Languages Coordination Models and Languages
2017년
Formal Aspects of Component Software Formal Aspects of Component Software
2014년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2014년
Principles of Modeling Principles of Modeling
2018년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019년
Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer
2007년
Static Analysis Static Analysis
2007년