It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

  • Frank de Boer
  • Marcello Bonsangue
  • Jan Rutten

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10865)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10865)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Wil M. P. van der Aalst
    Pages 1-20
  3. Krzysztof R. Apt, Ehsan Shoja
    Pages 21-37
  4. Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
    Pages 38-56
  5. Daniel Figueiredo, Manuel A. Martins, Luís S. Barbosa
    Pages 57-67
  6. Kasper Dokter, Fabio Gadducci, Francesco Santini
    Pages 70-85
  7. Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
    Pages 86-106
  8. Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, S. Lizeth Tapia Tarifa, Ingrid Chieh Yu
    Pages 107-121
  9. Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
    Pages 139-159
  10. Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan
    Pages 160-173
  11. Yi Li, Meng Sun
    Pages 174-188
  12. Leendert van der Torre, Tjitze Rienstra, Dov Gabbay
    Pages 208-223
  13. Luuk P. J. Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
    Pages 224-244
  14. Back Matter
    Pages 245-245

About this book


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.



Self-stabilizing systems Probabilistic systems Coordination Data-flow analysis Formal methods Coordination languages REO connectors Software agents semantics artificial intelligence software engineering formal logic specifications formal methods model checking programming languages data mining

Editors and affiliations

  • Frank de Boer
    • 1
  • Marcello Bonsangue
    • 2
  • Jan Rutten
    • 3
  1. 1.Centre for Mathematics and Computer ScienceAmsterdamThe Netherlands
  2. 2.Leiden UniversityLeidenThe Netherlands
  3. 3.Centre for Mathematics and Computer ScienceAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-90088-9
  • Online ISBN 978-3-319-90089-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment