Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
CTS systems and Petri netsAalbersberg, ITheoretical computer science, 1985, Vol.40, p.195-210 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
CTS systems and Petri netsAalbersberg, Ij.J. ; Rozenberg, G.Theoretical computer science, 1985, Vol.40 (2-3), p.149-162 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Theory of tracesAalbersberg, IJsbrand Jan ; Rozenberg, GrzegorzTheoretical computer science, 1988-01, Vol.60 (1), p.1-82 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Precedences in specifications and implementations of programming languagesAasa, AnnikaTheoretical computer science, 1995-05, Vol.142 (1), p.3-26 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Formal parametric polymorphismAbadi, M. ; Cardelli, L. ; Curien, P.-L.Theoretical computer science, 1993-12, Vol.121 (1), p.9-58 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The power of temporal proofsAbadi, MartínTheoretical computer science, 1989-06, Vol.65 (1), p.35-83 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The power of temporal proofs: Theoretical computer science 65 (1989) 35–83Abadi, MartínTheoretical computer science, 1990-01, Vol.70 (2), p.275-275 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
The power of temporal proofsAbadi, MartínTheoretical computer science, 1990-01, Vol.70 (2), p.275 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Secrecy types for asymmetric communicationAbadi, Martín ; Blanchet, BrunoTheoretical computer science, 2003-04, Vol.298 (3), p.387-415 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Deciding knowledge in security protocols under equational theoriesAbadi, Martín ; Cortier, VéroniqueTheoretical computer science, 2006-11, Vol.367 (1), p.2-32 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |