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
Last update Sat May 26 06:15:26 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
