Electronic Notes in Theoretical Computer Science, Volume 192

Volume 192, Number 1, October 2007

• Rob J. van Glabbeek, Matthew Hennessy:
  Preface. 1-3
  
• Pawel Sobocinski:
  A Well-behaved LTS for the Pi-calculus: (Abstract). 5-11
  
• David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
  Simulations Up-to and Canonical Preorders: (Extended Abstract). 13-28
  
• Patrick Cousot, Radhia Cousot:
  Bi-inductive Structural Semantics: (Extended Abstract). 29-44
  
• Harald Fecher, Heiko Schmidt:
  Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. 45-60
  
• Jesper Bengtson, Joachim Parrow:
  A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. 61-75
  
• Astrid Kiehn:
  An Operational Semantics for Shared Messaging Communication. 77-92
  
• Iain Phillips, Irek Ulidowski:
  Reversibility and Models for Concurrency. 93-108
  
• Mohammad Reza Mousavi, Michel A. Reniers:
  A Congruence Rule Format with Universal Quantification. 109-124
  
• Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
  A Rewriting Logic Approach to Operational Semantics (Extended Abstract). 125-141
  

Volume 192, Number 2, May 2008

• Giovanni Di Crescenzo, Refik Molva:
  Preface. 1-2
  
• Vanesa Daza, Javier Herranz, Paz Morillo, Carla Ràfols:
  Ad-Hoc Threshold Broadcast Encryption with Shorter Ciphertexts. 3-15
  
• Nouha Oualha, Yves Roudier:
  Securing Ad Hoc Storage through Probabilistic Cooperation Assessment. 17-29
  
• Keith M. Martin, Maura B. Paterson:
  An Application-Oriented Framework for Wireless Sensor Network Key Establishment. 31-41
  
• Maarit Hietalahti:
  A Clustering-based Group Key Agreement Protocol for Ad-Hoc Networks. 43-53
  

Volume 192, Number 3, November 2008

• Vincent Danos, Mariangiola Dezani-Ciancaglini:
  Preface. 1-2
  
• Davide Ancona, Sonia Fagorzi, Elena Zucca:
  A Parametric Calculus for Mobile Open Code. 3-22
  
• Giorgio Bacci, Marino Miculan:
  Undecidability of Model Checking in Brane Logic. 23-37
  
• Vincent Danos, Ellie D'Hondt:
  Classical Knowledge for Quantum Cryptographic Reasoning. 39-58
  
• Ian Mackie, Shinya Sato:
  A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. 59-70
  
• Simon Perdrix:
  A Hierarchy of Quantum Semantics. 71-83
  
• Anne Crumière, Paul Ruet:
  Spatial Differentiation and Positive Circuits in a Discrete Framework. 85-100