It's All About Coordination It's All About Coordination

It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Frank de Boer und andere
    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2018
25. Mai
SPRACHE
EN
Englisch
UMFANG
257
Seiten
VERLAG
Springer International Publishing
GRÖSSE
6,5
 MB

Mehr ähnliche Bücher

Theory and Practice of Formal Methods Theory and Practice of Formal Methods
2016
Models, Languages, and Tools for Concurrent and Distributed Programming Models, Languages, and Tools for Concurrent and Distributed Programming
2019
Coordination Models and Languages Coordination Models and Languages
2018
Programming Languages with Applications to Biology and Security Programming Languages with Applications to Biology and Security
2015
Formal Aspects of Component Software Formal Aspects of Component Software
2016
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2019

Mehr Bücher von Frank de Boer, Marcello Bonsangue & Jan Rutten

Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends
2024
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020