Electronic Notes in Theoretical Computer Science, Volume 85

Volume 85, Number 1, 2003

• Vladimiro Sassone:
  Preface.
  
• Lennart Beringer, Kenneth MacKenzie, Ian Stark:
  Grail: a functional form for imperative mobile code.
  
• David Teller:
  Formalisms for mobile resource control.
  
• Taolue Chen, Tingting Han, Jian Lu:
  Intensionality of modal logic for Robust Ambient Calculus.
  
• David de Frutos-Escrig, Olga Marroquín Alonso:
  Ambient Petri nets.
  
• Jean-Bernard Stefani:
  A calculus of Kells.
  
• António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes:
  Lexically scoped distribution: what you see is what you get.
  
• Xudong Guan:
  Towards a tree of channels.
  

Volume 85, Volume 2, 2003

Volume 85, Number 3, 2003

• Riccardo Focardi, Gianluigi Zavattaro:
  Preface.
  
• Antonio Brogi, Carlos Canal, Ernesto Pimentel:
  Soft component adaptation.
  
• Andrea Omicini, Alessandro Ricci, Mirko Viroli:
  Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.
  
• Alessandro Aldini:
  Coordination Model and Noninterference.
  
• Mario Bravetti, Roberto Gorrieri, Roberto Lucchi:
  A formal approach for checking security properties in SecSpaces.
  
• Per Mellstrand, Rune Gustavsson:
  Safe Execution of Unreliable Software.
  
• Lavinia Egidi, Giovanni Porcelli:
  Minimal Information Disclosure in a Centralized Authorization System.
  
• Rene Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger:
  Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks.
  
• Radu Handorean, Gruia-Catalin Roman:
  Secure Sharing of Tuple Spaces in Ad Hoc Settings.
  

Volume 85, Number 7, 2003

• Herman Geuvers, Fairouz Kamareddine:
  Preface.
  
• Yves Bertot:
  Simple canonical representation of rational numbers.
  
• Gilles Dowek, Ying Jiang:
  Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.
  
• Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
  Automath and Pure Type Systems.
  
• Gueorgui I. Jojgov:
  Tactics and parameters.
  
• Grzegorz Bancerek:
  On the structure of Mizar types.
  
• Fairouz Kamareddine, Alejandro Ríos:
  Explicit substitutions à la de Bruijn: the local and global way.
  
• David Chemouil, Sergei Soloviev:
  Remarks on isomorphisms of simple inductive types.
  
• M. Randall Holmes:
  Polymorphic type checking for the ramified theory of types of Principia Mathematica.