skip to main content
Idioma:
Refinado por: autor: Baier, Christel remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Synthesis of Reo circuits from scenario-based interaction specifications
Synthesis of Reo circuits from scenario-based interaction specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis of Reo circuits from scenario-based interaction specifications

Meng, Sun ; Arbab, Farhad ; Baier, Christel

Science of computer programming, 2011-08, Vol.76 (8), p.651-680 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Models and temporal logical specifications for timed component connectors
Models and temporal logical specifications for timed component connectors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models and temporal logical specifications for timed component connectors

Arbab, Farhad ; Baier, Christel ; de Boer, Frank ; Rutten, Jan

Software and systems modeling, 2007-03, Vol.6 (1), p.59-82 [Periódico revisado por pares]

Heidelberg: Springer Nature B.V

Texto completo disponível

Citações Citado por
4
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Compositional Semantics of an Actor-Based Language Using Constraint Automata

Sirjani, Marjan ; Jaghoori, Mohammad Mahdi ; Baier, Christel ; Arbab, Farhad

Coordination Models and Languages, 2006, p.281-297 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

Arbab, Farhad ; Baier, Christel ; de Boer, Frank ; Rutten, Jan ; Sirjani, Marjan

Coordination Models and Languages, 2005, p.236-251 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
6
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)

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

Electronic notes in theoretical computer science, 2004-07, Vol.97, p.25-46

Elsevier B.V

Texto completo disponível

Citações Citado por
7
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

ARBAB, Farhad ; BAIER, Christel ; RUTTEN, Jan ; SIRJANI, Maijan

Report - Software engineering, 2003 (4), p.1-15

Amsterdam: Centrum voor Wiskunde en Informatica

Texto completo disponível

Citações Citado por
8
Synthesis of Reo Circuits from Scenario-based Specifications
Synthesis of Reo Circuits from Scenario-based Specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis of Reo Circuits from Scenario-based Specifications

Arbab, Farhad ; Sun, Meng ; Baier, Christel

Electronic notes in theoretical computer science, 2009-07, Vol.229 (2), p.21-41

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Synthesis of Reo circuits for implementation of component-connector automata specifications
Synthesis of Reo circuits for implementation of component-connector automata specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis of Reo circuits for implementation of component-connector automata specifications

ARBAB, Farhad ; BAIER, Christel ; DE BOER, Frank ; RUTTEN, Jan ; SIRJANI, Marjan

Report - Software engineering, 2004 (12), p.1-18

Amsterdam: Centrum voor Wiskunde en Informatica

Texto completo disponível

Citações Citado por
10
Models and temporal logics for timed component connectors
Models and temporal logics for timed component connectors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models and temporal logics for timed component connectors

ARBAB, Farhad ; BAIER, Christel ; DE BOER, Frank ; RUTTEN, Jan

Report - Software engineering, 2004 (11), p.1-24

Amsterdam: Centrum voor Wiskunde en Informatica

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)
  2. Revistas revisadas por pares (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (8)
  2. Anais de Congresso  (2)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (1)
  2. 2003Até2003  (1)
  3. 2004Até2004  (4)
  4. 2005Até2006  (3)
  5. Após 2006  (3)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.