Electronic Notes in Theoretical Computer Science, Volume 62

Volume 62, 2001

• Marina Lenisa, Marino Miculan:
  Preface.
  
• Giuseppe Castagna, Michele Bugliesi, Silvia Crafa:
  An overview of Boxed Ambients.
  
• Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
  Cryptographic Analysis in Cubic Time.
  
• Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese:
  XKlaim and Klava: Programming Mobile Code.
  
• Lorenzo Bettini, Viviana Bono, Betti Venneri:
  Towards Object-Oriented Klaim.
  
• Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
  Higher-Order Types and Meta-Programming for Global Computing.
  
• Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
  A type preserving translation of Fickle into Java.
  
• Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone:
  A Type Inference Algorithm for Secure Ambients.
  
• Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
  Comparative analysis of the expressiveness of shared dataspace coordination.
  
• Furio Honsell, Marino Miculan, Ivan Scagnetto:
  The Theory of Contexts for First Order and Higher Order Abstract Syntax.
  
• Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
  Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
  
• Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters:
  Comparing cospan-spans and tiles via a Hoare-style process calculus.
  
• Mario Coppo, Mariangiola Dezani-Ciancaglini:
  A Fully Abstract Model for Mobile Ambients.
  
• Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
  Synchronized Regular Expressions.
  
• Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
  Techniques for Security Checking: Non-Interference vs Control Flow Analysis.
  
• Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci:
  Formal Models of Timing Attacks on Web Privacy.
  
• Agathe Merceron, Monika Müllerburg, G. Michele Pinna:
  Specifying and verifying reactive systems in a multi-language environment.