Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
What are the Fundamental Structures of Concurrency?Abramsky, SamsonElectronic notes in theoretical computer science, 2006-09, Vol.162, p.37-41Elsevier B.VTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Robin Milner's Work on ConcurrencyAbramsky, SamsonElectronic notes in theoretical computer science, 2010-09, Vol.265, p.5-10Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Nested Semantics over Finite Trees are Equationally Hard: Invited TalkAceto, LucaElectronic notes in theoretical computer science, 2004-06, Vol.96, p.5-6Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Nested Semantics over Finite Trees are Equationally HardAceto, LucaElectronic notes in theoretical computer science, 2004-06, Vol.96, p.5-6Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Impossibility Results in the Equational Logic of ProcessesAceto, LucaElectronic notes in theoretical computer science, 2007-03, Vol.169, p.3-6Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open ProblemsAceto, Luca ; Fokkink, WanElectronic notes in theoretical computer science, 2006-09, Vol.162, p.43-48Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A Quantitative Approach to Noninterference for Probabilistic SystemsAldini, Alessandro ; Di Pierro, AlessandraElectronic notes in theoretical computer science, 2004-08, Vol.99, p.155-182Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Reo Based Interaction ModelAmaro, Silvia ; Pimentel, Ernesto ; Roldan, Ana M.Electronic notes in theoretical computer science, 2006-08, Vol.160, p.3-14Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A Preliminary Comparative Study on the Expressive Power of Reo and LindaAmaro, Silvia ; Pimentel, Ernesto ; Roldan, Ana M.Electronic notes in theoretical computer science, 2007-06, Vol.180 (2), p.3-19Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Modeling Web Applications by the Multiple Levels of Integrity PolicyAmato, G. ; Coppola, M. ; Gnesi, S. ; Scozzari, F. ; Semini, L.Electronic notes in theoretical computer science, 2006-05, Vol.157 (2), p.167-185Elsevier B.VTexto completo disponível |