skip to main content
Idioma:
previous page 1 2 3 Resultados 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
31
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions

Backes, Michael

CONCUR 2003 - Concurrency Theory, 2003, p.350-365 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
32
Equivalence Checking of Non-flat Systems Is EXPTIME-Hard
Equivalence Checking of Non-flat Systems Is EXPTIME-Hard
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Equivalence Checking of Non-flat Systems Is EXPTIME-Hard

Sawa, Zdeněk

CONCUR 2003 - Concurrency Theory, 2003, p.237-250 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
33
Priority Rewrite Systems for OSOS Process Languages
Priority Rewrite Systems for OSOS Process Languages
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Priority Rewrite Systems for OSOS Process Languages

Ulidowski, Irek

CONCUR 2003 - Concurrency Theory, 2003, p.87-102 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
34
Relating Fairness and Timing in Process Algebras
Relating Fairness and Timing in Process Algebras
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Relating Fairness and Timing in Process Algebras

Corradini, F. ; Di Berardini, M. R. ; Vogler, W.

CONCUR 2003 - Concurrency Theory, 2003, p.446-460 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
35
Counting and Equality Constraints for Multitree Automata
Counting and Equality Constraints for Multitree Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Counting and Equality Constraints for Multitree Automata

Lugiez, Denis

Foundations of Software Science and Computation Structures, p.328-342 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
36
Full Abstraction for HOPLA
Full Abstraction for HOPLA
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Full Abstraction for HOPLA

Nygaard, Mikkel ; Winskel, Glynn

CONCUR 2003 - Concurrency Theory, 2003, p.383-398 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
37
Compression of Partially Ordered Strings
Compression of Partially Ordered Strings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Compression of Partially Ordered Strings

Alur, Rajeev ; Chaudhuri, Swarat ; Etessami, Kousha ; Guha, Sudipto ; Yannakakis, Mihalis

CONCUR 2003 - Concurrency Theory, 2003, p.42-56 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
38
Playing Games with Boxes and Diamonds
Playing Games with Boxes and Diamonds
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Playing Games with Boxes and Diamonds

Alur, Rajeev ; La Torre, Salvatore ; Madhusudan, P.

CONCUR 2003 - Concurrency Theory, 2003, p.128-143 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
39
On the symbolic reduction of processes with cryptographic functions
On the symbolic reduction of processes with cryptographic functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the symbolic reduction of processes with cryptographic functions

Amadio, Roberto M. ; Lugiez, Denis ; Vanackère, Vincent

Theoretical computer science, 2003, Vol.290 (1), p.695-740 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
40
Modeling Consensus in a Process Calculus
Modeling Consensus in a Process Calculus
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modeling Consensus in a Process Calculus

Nestmann, Uwe ; Fuzzati, Rachele ; Merro, Massimo

CONCUR 2003 - Concurrency Theory, 2003, p.399-414 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (33)
  2. Artigos  (31)
  3. Book Chapters  (21)
  4. Livros  (2)
  5. Dissertações  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (6)
  2. 1988Até1997  (7)
  3. 1998Até2002  (11)
  4. 2003Até2008  (53)
  5. Após 2008  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (82)
  2. Francês  (7)
  3. Japonês  (4)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.