Electronic Notes in Theoretical Computer Science, Volume 242

Volume 242, Number 1, July 2009

• Thomas Hildebrandt, Daniele Gorla:
  Preface. 1-2
  
• Roberto M. Amadio:
  On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. 3-17
  
• Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
  EXPTIME-complete Decision Problems for Modal and Mixed Specifications. 19-33
  
• Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg:
  A Basic Parallel Process as a Parallel Pushdown Automaton. 35-48
  
• Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
  Hard Life with Weak Binders. 49-72
  
• Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
  Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). 73-98
  
• Michele Bugliesi, Riccardo Focardi:
  Security Abstractions and Intruder Models (Extended Abstract). 99-112
  
• Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel:
  Decidable Fragments of a Higher Order Calculus with Locations. 113-138
  
• Sibylle B. Fröschle:
  Adding Branching to the Strand Space Model. 139-159
  
• Jens Chr. Godskesen:
  A Calculus for Mobile Ad-hoc Networks with Static Location Binding. 161-183