Volume 242, Number 1, July 2009

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

• 
  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

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