Abstract
From 1990 to 2005 the author had the privilege and pleasure to work as a programmer in Farhad Arbab’s research group, initially on the development, implementation and applications of the Manifold coordination language.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Blom, C.L., Arbab, F., Hummel, S., Elshoff, I.J.P.: Coordination of a heterogeneous coastal hydrodynamics application in manifold. Technical report SEN-R9833, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, December 1998. https://ir.cwi.nl/pub/4589
Bonsanque, M.M., Arbab, F., de Bakker, J.W., Rutten, J.J.M.M., Scutella, A., Zavattaro, G.: A transition system semantics for the control-driven coordination language manifold. Theoret. Comput. Sci. 240(1), 3–47 (2000)
Everaars, C.T.H., Arbab, F., Koren, B.: Dynamic process composition and communication patterns in irregularly structured applications. Concurrency: Practice Exp. 12(2–3), 157–174 (2000)
Monfroy, E.: A coordination-based chaotic iteration algorithm for constraint propagation. In: Proceedings of the 2000 ACM Symposium on Applied Computing, SAC 2000, vol. 1, pp. 262–269. ACM, New York (2000)
Dijkstra, E.W.D., Scholten, C.S.: Termination detection for diffusing computations. Inf. Process. Lett. 11(1), 1–4 (1980)
Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
Arbab, F., Blom, C.L., Burger, F.J., Everaars, C.T.H.: Reusable coordinator modules for massively concurrent applications. Softw.: Practice Exp. 28(7), 703–735 (1998). Extended version
Francez, N.: Distributed termination. ACM Trans. Program. Lang. Syst. 2(1), 42–55 (1980)
Árdal, K.B.: A fault-tolerant variant of the mahapatra-dutt termination detection algorithm. Master thesis, Vrije Universiteit, Amsterdam, 26 August 2017. http://www.cs.vu.nl/~wanf/theses/ardal-mscthesis.pdf
Apt, K.R., Arbab, F., Ma, H.: A distributed platform for mechanism design. In: 2008 International Conference on Computational Intelligence for Modelling Control & Automation, pp. 767–772. IEEE (2008)
Matocha, J., Camp, T.: A taxonomy of distributed termination detection algorithms. J. Syst. Softw. 43, 207–221 (1998)
Degenhardt, M.: Proving the correctness of the BTTF wave algorithm for distributed termination detection. Master thesis, Vrije Universiteit, Amsterdam, July 2014. http://www.cs.vu.nl/~wanf/theses/degenhardt.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Blom, K. (2018). Personal Note: Working with Farhad Arbab 1990–2005. In: de Boer, F., Bonsangue, M., Rutten, J. (eds) It's All About Coordination. Lecture Notes in Computer Science(), vol 10865. Springer, Cham. https://doi.org/10.1007/978-3-319-90089-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-90089-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-90088-9
Online ISBN: 978-3-319-90089-6
eBook Packages: Computer ScienceComputer Science (R0)