| 书目名称 | It‘s All About Coordination | | 副标题 | Essays to Celebrate | | 编辑 | Frank de Boer,Marcello Bonsangue,Jan Rutten | | 视频video | | | 概述 | Unique collection of articles on coordination languages and models.Honorary volume dedicated to Farhad Arbab on occasion to his 65 birthday.Formal methods in software engineering | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | .This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI)..Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory, Coordination Models and Languages, Parallel and Distributed Computing, Visual Programming Environments, Constraints, Logic and Object-Oriented Programming..Farhad Arbab has shaped the field of Coordination Models and Languages. His insight that it is all about exeogeneous coordination gave rise to the striking elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel composition. Reo has been extremely successful and is having a great impact in many of the areas mentioned above..The present volume collects a number of papers by several of Farhad’s close collaborators over the years.. . . | | 出版日期 | Book 2018 | | 关键词 | Self-stabilizing systems; Probabilistic systems; Coordination; Data-flow analysis; Formal methods; Coordi | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-90089-6 | | isbn_softcover | 978-3-319-90088-9 | | isbn_ebook | 978-3-319-90089-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing AG, part of Springer Nature 2018 |
The information of publication is updating
|
|
发表于 2025-3-21 18:40:52
