Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Programming and Software Engineering Lect.Notes ComputerFestschrift

It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Editors: de Boer, Frank, Bonsangue, Marcello, Rutten, Jan (Eds.)

Free Preview
  • 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
see more benefits

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-90089-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA in USD
  • ISBN 978-3-319-90088-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

 


Table of contents (15 chapters)

Table of contents (15 chapters)
  • Discovering the “Glue” Connecting Activities

    Pages 1-20

    Aalst, Wil M. P.

  • Self-stabilization Through the Lens of Game Theory

    Pages 21-37

    Apt, Krzysztof R. (et al.)

  • Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

    Pages 38-56

    Baier, Christel (et al.)

  • A Note on Reactive Transitions and Reo Connectors

    Pages 57-67

    Figueiredo, Daniel (et al.)

  • Personal Note: Working with Farhad Arbab 1990–2005

    Pages 68-69

    Blom, Kees

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-90089-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA in USD
  • ISBN 978-3-319-90088-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
It's All About Coordination
Book Subtitle
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Editors
  • Frank de Boer
  • Marcello Bonsangue
  • Jan Rutten
Series Title
Programming and Software Engineering
Series Volume
10865
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG, part of Springer Nature
eBook ISBN
978-3-319-90089-6
DOI
10.1007/978-3-319-90089-6
Softcover ISBN
978-3-319-90088-9
Edition Number
1
Number of Pages
XII, 245
Number of Illustrations
52 b/w illustrations
Topics