数量xii, 218 p. : ill. ; 24 cm.
一般注記Selected papers.
"The DisCoTec series of federated conferences, (...) included three conferences: Coordination, DAIS, and FMOODS/FORTE." -- foreword.
"DisCoTec conferences jointly cover (...) The 13th International Conference on Coordination Models and Languages (Coordination) (...) The 11th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) (...) The 13th Formal Methods for Open Object-Based Distributed Systems and 31st Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE) (...) " -- foreword.
書誌注記Includes bibliographical references and author index.