Electronic Notes in Theoretical Computer Science, Volume 135

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

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

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