Farhad Arbab
Farhad Arbab
Professor of Computer Science, Leiden University
Geverifieerd e-mailadres voor liacs.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst
Springer-Verlag New York Inc, 2009
2302*2009
Reo: a channel-based coordination model for component composition
F Arbab
Mathematical structures in computer science 14 (3), 329-366, 2004
8372004
Coordination models and languages
GA Papadopoulos, F Arbab
Advances in computers 46, 329-400, 1998
7191998
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
426*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-66, 2006
3182006
The IWIM model for coordination of concurrent activities
F Arbab
International Conference on Coordination Languages and Models, 34-56, 1996
2901996
Abstract behavior types: a foundation model for components and their composition
F Arbab
Science of Computer Programming 55 (1-3), 3-52, 2005
2462005
An overview of Manifold and its implementation
F Arbab, I Herman, P Spilling
Concurrency: practice and experience 5 (1), 23-70, 1993
2431993
A coinductive calculus of component connectors
F Arbab, JJMM Rutten
International Workshop on Algebraic Development Techniques, 34-55, 2002
2092002
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
1911992
What do you mean, coordination
F Arbab
Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998
1441998
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
1412003
Connector colouring I: Synchronisation and context dependency
D Clarke, D Costa, F Arbab
Electronic Notes in Theoretical Computer Science 154 (1), 101-119, 2006
1222006
Overview of Thirty Semantic Formalisms for Reo.
SSTQ Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 2012
882012
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
852007
Coordination through channel composition
F Arbab, F Mavaddat
International Conference on Coordination Languages and Models, 22-39, 2002
812002
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
International Symposium On Leveraging Applications of Formal Methods …, 2008
792008
Coordination of massively concurrent activities
F Arbab
Centrum voor Wiskunde en Informatica, 1995
771995
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
702004
Puff, the magic protocol
F Arbab
Formal Modeling: Actors, Open Systems, Biological Systems, 169-206, 2011
662011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20