Volume 402; Issue 2-3

Theoretical Computer Science

Volume 402; Issue 2-3
1

Preface

Ugo Montanari, Donald Sannella
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 142 KB
english, 2008
2

Cryptographically-masked flows

Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.57 MB
english, 2008
3

Parametric synchronizations in mobile nominal calculi

Roberto Bruni, Ivan Lanese
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 627 KB
english, 2008
4

Spatial-behavioral types for concurrency and resource control in distributed systems

Luís Caires
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.96 MB
english, 2008
7

Using bisimulation proof techniques for the analysis of distributed abstract machines

Damien Pous
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 1.22 MB
english, 2008
8

On the limits of cache-oblivious rational permutations

Francesco Silvestri
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 447 KB
english, 2008
9

A timed semantics of Orc

Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 665 KB
english, 2008
10

Security types for dynamic web data

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović, Daniele Varacca
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 462 KB
english, 2008
11

Integration of a security type system into a program logic

Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 518 KB
english, 2008