Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A channel-based coordination model for component compositionARBAB, FarhadReport - Software engineering, 2002 (3), p.1-35Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A channel-based coordination model for componentsARBAB, Farhad ; DE BOER, Frank S ; BONSANGUE, Marcello M ; SCHOLTEN, Juan VReport - Software engineering, 2001 (27), p.1-15Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
A Component-Based Parallel Constraint SolverZoeteweij, Peter ; Arbab, FarhadCoordination Models and Languages, 2004, p.307-322 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Abstract Behavior types: A foundation model for components and their compositionARBAB, FarhadReport - Software engineering, 2003 (5), p.1-28Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Abstract Behavior Types: A Foundation Model for Components and Their CompositionArbab, FarhadFormal Methods for Components and Objects, 2003, p.33-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Livro
|
![]() |
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected PapersCanal, Carlos ; Villari, Massimo Villari, Massimo ; Canal, CarlosNetherlands: Springer Nature 2013Texto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?Jongmans, Sung-Shik T. Q. ; Arbab, FarhadFundamentals of Software Engineering, 2015, Vol.9392, p.238-258 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Composing Constraint Automata, State-by-StateJongmans, Sung-Shik T. Q. ; Kappé, Tobias ; Arbab, FarhadFormal Aspects of Component Software, 2016, Vol.9539, p.217-236 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Coordinating Multicore ComputingArbab, Farhad ; Jongmans, Sung-Shik T. Q.Formal Methods for Multicore Programming, 2015, Vol.9104, p.57-96 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Coordinating Web services using channel based communicationLemniotes, T. ; Papadopoulos, G.A. ; Arbab, F.Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004, 2004, p.486-491 vol.1Los Alamitos CA: IEEETexto completo disponível |