Theo dõi
Farhad Arbab
Farhad Arbab
Professor of Computer Science, Leiden University
Email được xác minh tại liacs.nl - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst
Springer-Verlag New York Inc, 2009
2926*2009
Reo: a channel-based coordination model for component composition
F Arbab
Mathematical structures in computer science 14 (3), 329-366, 2004
9472004
Coordination models and languages
GA Papadopoulos, F Arbab
Advances in computers 46, 329-400, 1998
7661998
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
484*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
4212006
The IWIM model for coordination of concurrent activities
F Arbab
Coordination Languages and Models: First International Conference …, 1996
3061996
Abstract behavior types: a foundation model for components and their composition
F Arbab
Science of Computer Programming 55 (1-3), 3-52, 2005
2672005
An overview of Manifold and its implementation
F Arbab, I Herman, P Spilling
Concurrency: practice and experience 5 (1), 23-70, 1993
2651993
A coinductive calculus of component connectors
F Arbab, JJMM Rutten
Recent Trends in Algebraic Development Techniques: 16th International …, 2003
2422003
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
2061992
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
1562003
What do you mean, coordination
F Arbab
Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998
1561998
Connector colouring I: Synchronisation and context dependency
D Clarke, D Costa, F Arbab
Electronic Notes in Theoretical Computer Science 154 (1), 101-119, 2006
1342006
Overview of Thirty Semantic Formalisms for Reo.
SSTQ Jongmans, F Arbab
Scientific Annals of Computer Science 22 (1), 2012
1172012
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
942008
Coordination through channel composition
F Arbab, F Mavaddat
Coordination Models and Languages: 5th International Conference …, 2002
932002
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
902007
Coordination of massively concurrent activities
F Arbab
Centrum voor Wiskunde en Informatica, 1995
791995
Puff, the magic protocol
F Arbab
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
782011
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
782004
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20