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