Volume 135, Number 1, 5 July 2005

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005)

• 
  Pierpaolo Degano, Luca Viganò: Preface. 1-2
• 
  Carlos Caleiro, Luca Viganò, David A. Basin: Deconstructing Alice and Bob. 3-22
• 
  Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. 23-38
• 
  Deepak D'Souza, K. R. Raghavendra, Barbara Sprick: An Automata Based Approach for Verifying Information Flow Properties. 39-58
• 
  Alexey Gotsman, Fabio Massacci, Marco Pistore: Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. 59-77
• 
  Kenji Imamoto, Kouichi Sakurai: Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic. 79-94
• 
  Monica Nesi, Giuseppina Rucci: Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. 95-114
• 
  Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson: Static Validation of a Voting Protocol. 115-134

Volume 135, Number 2, 20 February 2006

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2005)

• 
  Martin Leucker, Jaco van de Pol: Preface. 1-2
• 
  Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. 3-18
• 
  Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: Distribution, Approximation and Probabilistic Model Checking. 19-30
• 
  Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson: Under-approximation Heuristics for Grid-based Bounded Model Checking. 31-46
• 
  Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. 47-63
• 
  Ming-Ying Chung, Gianfranco Ciardo: A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. 65-80

Volume 135, Number 3, 3 March 2006

Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005)

• 
  Maribel Fernández, Ian Mackie: Preface. 1-2
• 
  Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac: A Generalized Higher-Order Chemical Computation Model. 3-13
• 
  Udi Boker, Nachum Dershowitz: Abstract Effective Models. 15-23
• 
  Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Reversible Combinatory Logic. 25-35
• 
  Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach: SCHOOL: a Small Chorded Object-Oriented Language. 37-47
• 
  Sonia Fagorzi, Elena Zucca: A Calculus for Reconfiguration: (Extended abstract). 49-59
• 
  Pablo Garralda, Adriana B. Compagnoni: Splitting Mobility and Communication in Boxed Ambients. 61-71
• 
  Furio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic Description of Generalized Binary Methods. 73-84
• 
  Luigi Liquori: iRho: the Software: [System Description]. 85-94
• 
  Florin Manea, Carlos Martín-Vide, Victor Mitrana: A Universal Accepting Hybrid Network of Evolutionary Processors. 95-105
• 
  Antonio Cosentino, Marco Pedicini, Francesco Quaglia: Supporting Function Calls within PELCR. 107-117
• 
  Simon Perdrix, Philippe Jorrand: Classically-controlled Quantum Computation. 119-128
• 
  François-Régis Sinot: Token-Passing Nets: Call-by-Need for Free. 129-139
• 
  H. Xu, S. Yu: Type Theory and Language Constructs for Objects with States. 141-151