Sung-Shik T.Q. Jongmans and Farhad Arbab, "Overview
of Thirty Semantic Formalisms for Reo," Scientific Annals
of Computer Science, vol. 12, Issue 1, pp. 201-251, 2012.
Farhad Arbab, "Will
the Real Service Oriented Computing Please Stand Up?"
post-proceedings of the 7th International Workshop on Formal
Aspects of Component Software (FACS 2010), October
14-16, 2010, Guimarães, Portugal; Lecture
Notes in Computer Science, Springer, vol. 6921 pp.
F. Arbab "Puff,
The Magic Protocol," Formal Modeling: Actors, Open
Systems, Biological Systems 2011, SRI International, Menlo Park,
California, November 3-4, 2011, Lecture
Notes in Computer Science, Springer, vol. 7000, pp.
Sun Meng, Farhad Arbab, and Christel Baier "Synthesis
of Reo circuits from scenario-based interaction specifications,"
Science of Computer Programming, Elsevier, Vol. 76,
Issue 8, pp. 651-680, 2011.
Farhad Arbab, Christel Baier, Frank S. de Boer, and Jan J. M. M.
and Temporal Logical Specifications for Timed Component
Connectors," International Journal on Software and Systems Modeling,
pp. 59-82, Vol. 6, No. 1, March 2007,
Connectors in Reo by Constraint Automata," Science of Computer Programming,
Issue 2, pp. 75-113, July 2006. (with C. Baier, M.
Types: A Foundation Model for Components and
55, pp. 3-52, March 2005.
- "Composition by
Interaction," Inaugural Lecture, Leiden University,
Channel-based Coordination Model for Component Composition,"
Mathematical Structures in
Cambridge University Press, Vol.
Issue 3, pp. 329-366, June 2004.
Transition System Semantics for the Control-Driven
Science, Elsevier, Vol. 240, No. 1, pp. 3-47, 2000.
(with M. M.
Bonsangue, J. W. de Bakker, J. J. M. M. Rutten, A. Scutella, and
Coordination?" Bulletin of the Dutch Association for
Computer Science (NVTI), March