Research group: Component-based models and software architectures (SEN3.1)
- F. Arbab and F. Mavaddat, Coordination Through Channel Composition. InCoordination Languages and Models: Proc. Coordination 2002, York, UK, Springer-Verlag LNCS volume 2315, pp.21-38,April 2002.
- F. Arbab, Abstract Behavior Types: A Foundation Model for Components and Their Composition. In Formal Methods for Components and Objects, LNCS vol. 2852, Springer, 2003.
- F. Arbab, J. W. de Bakker, J. J. M. M. Rutten, A. Scutella, and G. Zavattaro, A Transition System Semantics for the Control-Driven Coordination Language Manifold. In M. M. Bonsangue, Theoretical Computer Science, Elsevier, vol 240, no 1, pp 3-47, 2000.
- F. Arbab and E. Monfroy, Distributed Splitting of Constraint Satisfaction Problems.In Proceedings of Coordination 2000, Lecture Notes in Computer Science, Springer, 2000.
