Farhad Arbab
Farhad Arbab
Professor of Computer Science, Leiden University
Verified email at - Homepage
Cited by
Cited by
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst
Springer-Verlag New York Inc, 2009
Reo: a channel-based coordination model for component composition
F Arbab
Mathematical structures in computer science 14 (3), 329-366, 2004
Coordination models and languages
GA Papadopoulos, F Arbab
Advances in computers 46, 329-400, 1998
Modeling component connectors in Reo by constraint automata
C Baier, M Sirjani, F Arbab, J Rutten
Science of computer programming 61 (2), 75-113, 2006
Enterprise architecture: Management tool and blueprint for the organisation
H Jonkers, MM Lankhorst, HWL ter Doest, F Arbab, H Bosma, ...
Information systems frontiers 8 (2), 63, 2006
The IWIM model for coordination of concurrent activities
F Arbab
International Conference on Coordination Languages and Models, 34-56, 1996
Abstract behavior types: a foundation model for components and their composition
F Arbab
Science of Computer Programming 55 (1-3), 3-52, 2005
An overview of Manifold and its implementation
F Arbab, I Herman, P Spilling
Concurrency: practice and experience 5 (1), 23-70, 1993
A coinductive calculus of component connectors
F Arbab, JJMM Rutten
International Workshop on Algebraic Development Techniques, 34-55, 2002
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands
A Hansen, F Arbab
ACM Transactions on Graphics (TOG) 11 (2), 152-182, 1992
What do you mean, coordination
F Arbab
Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998
Towards a language for coherent enterprise architecture descriptions
H Jonkers, R Van Burren, F Arbab, F De Boer, M Bonsangue, H Bosma, ...
Seventh IEEE International Enterprise Distributed Object Computing …, 2003
Connector colouring I: Synchronisation and context dependency
D Clarke, D Costa, F Arbab
Electronic Notes in Theoretical Computer Science 154 (1), 101-119, 2006
Overview of Thirty Semantic Formalisms for Reo.
SSTQ Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 2012
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
International Symposium On Leveraging Applications of Formal Methods …, 2008
Web services choreography and orchestration in Reo and constraint automata
S Meng, F Arbab
Proceedings of the 2007 ACM symposium on Applied computing, 346-353, 2007
Coordination through channel composition
F Arbab, F Mavaddat
International Conference on Coordination Languages and Models, 22-39, 2002
Coordination of massively concurrent activities
F Arbab
Centrum voor Wiskunde en Informatica, 1995
Models and temporal logics for timed component connectors
F Arbab, C Baier, F De Boer, J Rutten
Proceedings of the Second International Conference on Software Engineering …, 2004
Set models and boolean operations for solids and assemblies
F Arbab
IEEE Computer Graphics and Applications 10 (6), 76-86, 1990
The system can't perform the operation now. Try again later.
Articles 1–20