Suivre
Farhad Arbab
Farhad Arbab
Professor of Computer Science, Leiden University
Adresse e-mail validée de liacs.nl - Page d'accueil
Titre
Citée par
Citée par
Année
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst
Springer-Verlag New York Inc, 2009
2930*2009
Reo: a channel-based coordination model for component composition
F Arbab
Mathematical structures in computer science 14 (3), 329-366, 2004
9282004
Coordination models and languages
GA Papadopoulos, F Arbab
Advances in computers 46, 329-400, 1998
7741998
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
471*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
4152006
The IWIM model for coordination of concurrent activities
F Arbab
Coordination Languages and Models: First International Conference …, 1996
3081996
An overview of Manifold and its implementation
F Arbab, I Herman, P Spilling
Concurrency: practice and experience 5 (1), 23-70, 1993
2661993
Abstract behavior types: a foundation model for components and their composition
F Arbab
Science of Computer Programming 55 (1-3), 3-52, 2005
2652005
A coinductive calculus of component connectors
F Arbab, JJMM Rutten
Recent Trends in Algebraic Development Techniques: 16th International …, 2003
2302003
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
2031992
What do you mean, coordination
F Arbab
Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998
1561998
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
1532003
Connector colouring I: Synchronisation and context dependency
D Clarke, D Costa, F Arbab
Electronic Notes in Theoretical Computer Science 154 (1), 101-119, 2006
1302006
Overview of Thirty Semantic Formalisms for Reo.
SSTQ Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 2012
1082012
Coordination through channel composition
F Arbab, F Mavaddat
Coordination Models and Languages: 5th International Conference …, 2002
912002
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
902008
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
862007
Coordination of massively concurrent activities
F Arbab
Centrum voor Wiskunde en Informatica, 1995
801995
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
772004
Puff, the magic protocol
F Arbab
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
742011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20