Volgen
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
2584*2009
Reo: a channel-based coordination model for component composition
F Arbab
Mathematical structures in computer science 14 (3), 329-366, 2004
9012004
Coordination models and languages
GA Papadopoulos, F Arbab
Advances in computers 46, 329-400, 1998
7511998
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
461*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
3692006
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
2642005
An overview of Manifold and its implementation
F Arbab, I Herman, P Spilling
Concurrency: practice and experience 5 (1), 23-70, 1993
2591993
A coinductive calculus of component connectors
F Arbab, J Rutten
WADT 2755, 34-55, 2002
2252002
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
2001992
What do you mean, coordination
F Arbab
Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998
1551998
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
1492003
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
1012012
Towards using reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
892008
Coordination through channel composition
F Arbab, F Mavaddat
Coordination Models and Languages: 5th International Conference …, 2002
892002
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
831995
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
732011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20