Arbab, F. (Farhad)
Arbab, Farhad
Arbab, Farhad 1952-
Arbab, Farhad, 19..-...., informaticien
Farhad Arbab
VIAF ID: 42753329 ( Personal )
Permalink: http://viaf.org/viaf/42753329
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Arbab, F. ‡q (Farhad)
- 100 1 _ ‡a Arbab, F. ‡q (Farhad)
-
-
- 100 1 _ ‡a Arbab, Farhad
- 100 1 _ ‡a Arbab, Farhad ‡d 1952-
- 100 1 _ ‡a Arbab, Farhad, ‡d 19..-...., ‡c informaticien
- 100 0 _ ‡a Farhad Arbab
4xx's: Alternate Name Forms (16)
5xx's: Related Names (6)
- 510 2 _ ‡a Coordination Languages
- 510 2 _ ‡a Institute for Studies in Fundamental Sciences
- 510 2 _ ‡a International Federation for Information Processing
- 510 2 _ ‡a Rijksuniversiteit (Leiden)
- 510 2 _ ‡a Rijksuniversiteit Leiden ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of California
Works
Title | Sources |
---|---|
Abstract behavior types: a foundation model for components and their composition | |
A coinductive calculus of component connectors | |
Composition by interaction | |
Compositional construction of Web Services using Reo | |
Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings | |
Coordination of distributed/parallel multiple-grid domain decomposition | |
Coordination of heterogeneous distributed cooperative constraint solving | |
Coordination of massively concurrent activities | |
Distributed splitting of contraint satisfaction problems | |
Effective modeling of software architectural assemblies using constraint automata | |
FACS 2011. | |
Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers | |
FSEN 2007 | |
IFIP TC5/WG5.2 International Workshop on Computer Aided Design (3rd : 1989 : Osaka, Japan). Intelligent CAD, III, 1991: | |
Intelligent CAD III : selected and reviewed papers and reports | |
Interactive geometric constraint satisfaction | |
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings | |
Location graphs : a formal approach to encapsulation and its implementation. | |
A logical interface description language for components | |
Manray, a replicated workers program in Manifold | |
MoCha | |
MoCha: a framework for coordination using mobile channels | |
Modeling component connectors in Reo by constraint automata | |
Modelling coordination in biological systems | |
Models and temporal logics for timed component connectors | |
More examples in Manifold | |
An object model for multimedia programming | |
An overview of Manifold and its implementation | |
Parallel, distributed-memory implementation of sparse-grid methods for three-dimensional fluid-flow computations | |
Restructuring sequential Fortran code into a parallel/distributed application | |
Reusability of coordination programs | |
Specification of Manifold : version 1.0 | |
Synthesis of reo circuits for implementation of component-connector automata specifications | |
A system for distributed mechanisms: design, implementation and applications |