Selected
Publications
- dblp
BibTex
EE
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.
- dblp
BibTex
EE
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.
277-285, 2012.
- dblp
BibTex
EE
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.
169-206.
- dblp
BibTex
EE
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.
- dblp
BibTex
EE
Farhad Arbab, Christel Baier, Frank S. de Boer, and Jan J. M. M.
Rutten, "Models
and Temporal Logical Specifications for Timed Component
Connectors," International Journal on Software and Systems Modeling,
pp. 59-82, Vol. 6, No. 1, March 2007,
- "Modeling
Component
Connectors in Reo by Constraint Automata," Science of Computer Programming,
Elsevier, Vol.
61,
Issue 2, pp. 75-113, July 2006. (with C. Baier, M.
Sirjani, and
J.J.M.M. Rutten)
- "Abstract
Behavior
Types: A Foundation Model for Components and
Their
Composition," Science
of
Computer
Programming,
Elsevier, Vol.
55, pp. 3-52, March 2005.
- "Composition by
Interaction," Inaugural Lecture, Leiden University,
October 2005.
- "Reo:
A
Channel-based Coordination Model for Component Composition,"
Mathematical Structures in
Computer Science,
Cambridge University Press, Vol.
14,
Issue 3, pp. 329-366, June 2004.
- "A
Transition System Semantics for the Control-Driven
Coordination
Language
Manifold," Theoretical
Computer
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
G.
Zavattaro)
- "What
Do
You
Mean,
Coordination?" Bulletin of the Dutch Association for
Theoretical
Computer Science (NVTI), March
1998.