Electronic Notes in Theoretical Computer Science, Volume 242

Volume 242, Number 1, July 2009

Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Toronto, Canada

• 
  Thomas T. 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

Volume 242, Number 2, July 2009

• 
  Jens Chr. Godskesen, Massimo Merro:
  Preface. 1
• 
  Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar:
  Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. 3-30
• 
  Mohammad Abdollahi Azgomi, Ali Khalili:
  Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets. 31-42
• 
  Osman Hasan, Sofiène Tahar:
  Probabilistic Analysis of Wireless Systems Using Theorem Proving. 43-58
• 
  Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
  Composition and Independence of High-Level Net Processes. 59-71
• 
  Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni:
  Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. 73-85

Volume 242, Number 3, August 2009

• 
  Steve Kremer, Prakash Panangaden:
  Preface. 1-2
• 
  Johannes Borgström:
  A Complete Symbolic Bisimilarity for an Extended Spi Calculus. 3-20
• 
  Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen:
  Type Inference for Correspondence Types. 21-36