His main research concerns Reo Coordination Language, Programming language, Component, Distributed computing and Automaton. His study on Reo Coordination Language is covered under Theoretical computer science. His Theoretical computer science research is multidisciplinary, incorporating elements of Equivalence and Computation.
His research investigates the connection with Programming language and areas like Business process which intersect with concerns in Programming paradigm and Software engineering. He studied Component and Formal methods that intersect with Formal specification. His Distributed computing research is multidisciplinary, incorporating perspectives in Scalability and Set.
His scientific interests lie mostly in Programming language, Theoretical computer science, Distributed computing, Automaton and Reo Coordination Language. His Programming language research focuses on subjects like Code, which are linked to Executable. His research in Theoretical computer science intersects with topics in Model of computation, Computation and Formal semantics.
The study incorporates disciplines such as Network topology, Web service and Reusability in addition to Distributed computing. His study in Automaton is interdisciplinary in nature, drawing from both Equivalence, Quality of service, Correctness and Implementation. His Reo Coordination Language study is concerned with the field of Component as a whole.
Automaton, Theoretical computer science, Programming language, Component and Distributed computing are his primary areas of study. His Automaton study integrates concerns from other disciplines, such as Coordination language, Formal semantics, Routing control plane and Supervisory control. His Theoretical computer science study incorporates themes from Real vector, Synchronization, Scheduling, Computation and Exploit.
The various areas that Farhad Arbab examines in his Component study include Linear temporal logic, Structure, Preference and Robot. His Distributed computing research is mostly focused on the topic Reo Coordination Language. His Reo Coordination Language study combines topics from a wide range of disciplines, such as Business logic, Loose coupling, World Wide Web, Business process modeling and Notation.
His primary scientific interests are in Theoretical computer science, Programming language, Automaton, Concurrency and Protocol. Farhad Arbab combines subjects such as Scheduling and Semantics with his study of Theoretical computer science. Farhad Arbab specializes in Semantics, namely Reo Coordination Language.
Farhad Arbab works on Programming language which deals in particular with Compiler. His Automaton research includes elements of Preference, Scalability, Synchronization, Robot and Component. Farhad Arbab has researched Concurrency in several fields, including Equivalence, Executable, Data domain, Bisimulation and Scripting language.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Reo: a channel-based coordination model for component composition
Farhad Arbab.
Mathematical Structures in Computer Science (2004)
Coordination models and languages
George A. Papadopoulos;Farhad Arbab.
Advances in Computers (1998)
Modeling component connectors in Reo by constraint automata
Christel Baier;Marjan Sirjani;Farhad Arbab;Jan Rutten.
Science of Computer Programming (2006)
Enterprise architecture: Management tool and blueprint for the organisation
Henk Jonkers;Marc M. Lankhorst;Hugo W. Ter Doest;Farhad Arbab.
Information Systems Frontiers (2006)
The IWIM Model for Coordination of Concurrent Activities
Farhad Arbab.
international conference on coordination models and languages (1996)
Abstract behavior types: a foundation model for components and their composition
Farhad Arbab.
formal methods (2005)
An overview of Manifold and its implementation
F. Arbab;I. Herman;P. Spilling.
Concurrency and Computation: Practice and Experience (1993)
A coinductive calculus of component connectors
F. Arbab;J. J. M. M. Rutten.
workshop on recent trends in algebraic development techniques (2002)
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands
Allan Hansen;Farhad Arbab.
ACM Transactions on Graphics (1992)
Towards a language for coherent enterprise architecture descriptions
H. Jonkers;R. van Burren;F. Arbab;F. de Boer.
enterprise distributed object computing (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Radboud University Nijmegen
Centrum Wiskunde & Informatica
TU Dresden
SRI International
University of Twente
University of Amsterdam
University of Luxembourg
Centrum Wiskunde & Informatica
University of Luxembourg
Utrecht University
Roma Tre University
IBM (United States)
Inserm : Institut national de la santé et de la recherche médicale
Grenoble Alpes University
Beijing University of Chemical Technology
Tohoku University
Imperial College London
Tampere University
Technical University of Munich
United States Geological Survey
National Science Foundation
Hebrew University of Jerusalem
University of California, Los Angeles
University of Hull
Tufts University
Thomas Jefferson University