Volume 62, 2001
TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types
Udine, Italy, November 19-21, 2001
- Giuseppe Castagna, Michele Bugliesi, Silvia Crafa:
An overview of Boxed Ambients.
1-6
- Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
Cryptographic Analysis in Cubic Time.
7-23
- Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese:
XKlaim and Klava: Programming Mobile Code.
24-37
- Lorenzo Bettini, Viviana Bono, Betti Venneri:
Towards Object-Oriented Klaim.
38-51
- Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Higher-Order Types and Meta-Programming for Global Computing.
52-68
- Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java.
69-82
- Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients.
83-101
- Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination.
102-115
- Furio Honsell, Marino Miculan, Ivan Scagnetto:
The Theory of Contexts for First Order and Higher Order Abstract Syntax.
116-135
- Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
136-156
- Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus.
157-176
- Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Mobile Ambients.
177-194
- Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Synchronized Regular Expressions.
195-210
- Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Techniques for Security Checking: Non-Interference vs Control Flow Analysis.
211-228
- Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci:
Formal Models of Timing Attacks on Web Privacy.
229-243
- Agathe Merceron, Monika Müllerburg, G. Michele Pinna:
Specifying and verifying reactive systems in a multi-language environment.
244-256
- Marina Lenisa, Marino Miculan:
Preface.
257-258
Last update Fri May 24 20:18:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
