skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reo: a channel-based coordination model for component composition
Reo: a channel-based coordination model for component composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reo: a channel-based coordination model for component composition

ARBAB, FARHAD

Mathematical structures in computer science, 2004-06, Vol.14 (3), p.329-366 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
2
Data optimizations for constraint automata
Data optimizations for constraint automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Data optimizations for constraint automata

Jongmans, Sung-Shik T. Q. ; Arbab, Farhad

Logical methods in computer science, 2016-01, Vol.12, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Arbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, Carolyn

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
4
Abstract Behavior Types: a foundation model for components and their composition
Abstract Behavior Types: a foundation model for components and their composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Behavior Types: a foundation model for components and their composition

Arbab, Farhad

Science of computer programming, 2005-03, Vol.55 (1), p.3-52 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools

Kokash, N. ; Arbab, F.

IEEE transactions on services computing, 2013-04, Vol.6 (2), p.186-200 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
6
Compositional workflow modeling with priority constraints
Compositional workflow modeling with priority constraints
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compositional workflow modeling with priority constraints

Changizi, Behnaz ; Kokash, Natallia ; Arbab, Farhad ; Makhnist, Leonid

Science of computer programming, 2021-03, Vol.203, p.102578, Article 102578 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Preface – Special Issue on selected and extended papers from FACS 2019
Preface – Special Issue on selected and extended papers from FACS 2019
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface – Special Issue on selected and extended papers from FACS 2019

Jongmans, Sung-Shik ; Arbab, Farhad

Science of computer programming, 2022-06, Vol.218, p.102807, Article 102807 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Soft component automata: Composition, compilation, logic, and verification
Soft component automata: Composition, compilation, logic, and verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Soft component automata: Composition, compilation, logic, and verification

Kappé, Tobias ; Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn

Science of computer programming, 2019-09, Vol.183, p.102300, Article 102300 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A semantic model for interacting cyber-physical systems
A semantic model for interacting cyber-physical systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A semantic model for interacting cyber-physical systems

Lion, Benjamin ; Arbab, Farhad ; Talcott, Carolyn

Journal of logical and algebraic methods in programming, 2022-11, Vol.129, p.100807, Article 100807 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Modeling component connectors in Reo by constraint automata
Modeling component connectors in Reo by constraint automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling component connectors in Reo by constraint automata

Baier, Christel ; Sirjani, Marjan ; Arbab, Farhad ; Rutten, Jan

Science of computer programming, 2006-07, Vol.61 (2), p.75-113 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (103)
  2. Book Chapters  (36)
  3. Anais de Congresso  (12)
  4. Livros  (2)
  5. magazinearticle  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1996  (12)
  2. 1996Até2003  (17)
  3. 2004Até2010  (26)
  4. 2011Até2018  (71)
  5. Após 2018  (30)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (152)
  2. Japonês  (4)
  3. Português  (2)
  4. Alemão  (1)
  5. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.