skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Base de dados/Biblioteca: EZB Free E-Journals remover assunto: Process Algebra remover Electronic Notes in Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
What are the Fundamental Structures of Concurrency?
What are the Fundamental Structures of Concurrency?
Material Type:
Artigo 		Adicionar ao Meu Espaço

What are the Fundamental Structures of Concurrency?

Abramsky, Samson

Electronic notes in theoretical computer science, 2006-09, Vol.162, p.37-41

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Robin Milner's Work on Concurrency
Robin Milner's Work on Concurrency
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robin Milner's Work on Concurrency

Abramsky, Samson

Electronic notes in theoretical computer science, 2010-09, Vol.265, p.5-10

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nested Semantics over Finite Trees are Equationally Hard: Invited Talk

Aceto, Luca

Electronic notes in theoretical computer science, 2004-06, Vol.96, p.5-6

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Nested Semantics over Finite Trees are Equationally Hard
Nested Semantics over Finite Trees are Equationally Hard
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nested Semantics over Finite Trees are Equationally Hard

Aceto, Luca

Electronic notes in theoretical computer science, 2004-06, Vol.96, p.5-6

Texto completo disponível

Citações Citado por
5
Impossibility Results in the Equational Logic of Processes
Impossibility Results in the Equational Logic of Processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impossibility Results in the Equational Logic of Processes

Aceto, Luca

Electronic notes in theoretical computer science, 2007-03, Vol.169, p.3-6

Elsevier B.V

Texto completo disponível

Citações Citado por
6
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, Luca ; Fokkink, Wan

Electronic notes in theoretical computer science, 2006-09, Vol.162, p.43-48

Elsevier B.V

Texto completo disponível

Citações Citado por
7
A Quantitative Approach to Noninterference for Probabilistic Systems
A Quantitative Approach to Noninterference for Probabilistic Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Quantitative Approach to Noninterference for Probabilistic Systems

Aldini, Alessandro ; Di Pierro, Alessandra

Electronic notes in theoretical computer science, 2004-08, Vol.99, p.155-182

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Reo Based Interaction Model
Reo Based Interaction Model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reo Based Interaction Model

Amaro, Silvia ; Pimentel, Ernesto ; Roldan, Ana M.

Electronic notes in theoretical computer science, 2006-08, Vol.160, p.3-14

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A Preliminary Comparative Study on the Expressive Power of Reo and Linda
A Preliminary Comparative Study on the Expressive Power of Reo and Linda
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Preliminary Comparative Study on the Expressive Power of Reo and Linda

Amaro, Silvia ; Pimentel, Ernesto ; Roldan, Ana M.

Electronic notes in theoretical computer science, 2007-06, Vol.180 (2), p.3-19

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Modeling Web Applications by the Multiple Levels of Integrity Policy
Modeling Web Applications by the Multiple Levels of Integrity Policy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling Web Applications by the Multiple Levels of Integrity Policy

Amato, G. ; Coppola, M. ; Gnesi, S. ; Scozzari, F. ; Semini, L.

Electronic notes in theoretical computer science, 2006-05, Vol.157 (2), p.167-185

Elsevier B.V

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2002  (2)
  2. 2002Até2003  (3)
  3. 2004Até2005  (13)
  4. 2006Até2008  (41)
  5. Após 2008  (17)
  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.