skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Modularizing and Specifying Protocols among Threads
Modularizing and Specifying Protocols among Threads
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modularizing and Specifying Protocols among Threads

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

Electronic proceedings in theoretical computer science, 2013-02, Vol.109 (Proc. PLACES 2012), p.34-45

Open Publishing Association

Texto completo disponível

Citações Citado por
12
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
13
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, Marjan

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
14
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
15
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
16
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata

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

Electronic proceedings in theoretical computer science, 2011-07, Vol.59 (Proc. ICE 2011), p.84-103

Open Publishing Association

Texto completo disponível

Citações Citado por
17
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
18
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
19
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
20
Relating BIP and Reo
Relating BIP and Reo
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relating BIP and Reo

Dokter, Kasper ; Jongmans, Sung-Shik ; Arbab, Farhad ; Bliudze, Simon

Electronic proceedings in theoretical computer science, 2015-08, Vol.189 (Proc. ICE 2015), p.3-20

Open Publishing Association

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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  (178)
  2. Book Chapters  (135)
  3. Anais de Congresso  (53)
  4. Livros  (20)
  5. Newsletter Articles  (2)
  6. Dissertações  (2)
  7. Reports  (1)
  8. magazinearticle  (1)
  9. Web Resources  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (18)
  2. 1992Até2001  (29)
  3. 2002Até2008  (120)
  4. 2009Até2016  (172)
  5. Após 2016  (54)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (391)
  2. Japonês  (7)
  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.