Journal: Electronic Notes in Theoretical Computer Science

Volume 171, Issue 4

1 -- 2Maribel Fernández, Claude Kirchner. Preface
3 -- 21Tom Chothia, Dominic Duggan, Ye Wu. An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract)
23 -- 36Santiago Escobar, Catherine Meadows, José Meseguer. Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
37 -- 57Pascal Lafourcade. Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
59 -- 72Anderson Santana de Oliveira. Rewriting-Based Access Control Policies
73 -- 93Nobuko Yoshida, Vasco Thudichum Vasconcelos. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Volume 171, Issue 3

1 -- 2Jean-Pierre Jouannaud, Ian Mackie. Preface
3 -- 19Germain Faure. Term Collections in lambda and rho-calculi
21 -- 41Luca Fossati. Handshake Games
43 -- 53Mircea-Dan Hernest. Light Dialectica Program Extraction from a Classical Fibonacci Proof
55 -- 75Michel Cosnard, Luigi Liquori, Raphaël Chand. Virtual Organizations in Arigatoni
77 -- 84Robert K. Meyer. The Better Bubbling Lemma
85 -- 109Jayshan Raghunandan, Alexander J. Summers. On the Computational Representation of Classical Logical Connectives
111 -- 126Nikolaos Siafakas. A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine
127 -- 151Marco Carbone, Kohei Honda, Nobuko Yoshida. A Calculus of Global Interaction based on Session Types

Volume 171, Issue 2

1 -- 2Nadia Busi, Claudio Zandron. Preface
3 -- 10Gheorghe Paun. Membrane Computing and Brane Calculi (Some Personal Notes)
11 -- 23Bogdan Aman, Gabriel Ciobanu. Translating Mobile Ambients into P Systems
25 -- 36Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan. Membrane Systems with Marked Membranes
37 -- 53Matteo Cavaliere, Sean Sedwards. Membrane Systems with Peripheral Proteins: Transport and Evolution
55 -- 67Federica Ciocchetta, Corrado Priami. Biological Transactions for Quantitative Models
69 -- 79Giorgio Delzanno, Roberto Montagna. On Reachability and Spatial Reachability in Fragments of BioAmbients
81 -- 93Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez. A Linear-time Tissue P System Based Solution for the 3-coloring Problem
95 -- 104Giuditta Franco, Maurice Margenstern. Computing by Floating Strings
105 -- 115Rudolf Freund, Marion Oswald. Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings
117 -- 137Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia. Timed Concurrent Constraint Programming for Analysing Biological Systems
139 -- 154Cosimo Laneve, Fabien Tarissan. A Simple Calculus for Proteins and Cells
155 -- 170Corrado Priami, Alessandro Romanel. The Decidability of the Structural Congruence for Beta-binders
171 -- 186Cristian Versari. Encoding Catalytic P Systems in pi@
187 -- 196Antonio Vitale, Giancarlo Mauri. Communication via Mobile Vesicles in Brane Calculi
197 -- 208Verena Wolf. Modelling of Biochemical Reactions by Stochastic Automata Networks
209 -- 222Xian Xu, Xiaoju Dong, Yuxi Fu. A Model in kappa for DNA Addition

Volume 171, Issue 1

1 -- 2Giovanni Di Crescenzo, Luigi V. Mancini. Preface
3 -- 15Camil Demetrescu, Giuseppe F. Italiano. Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks
17 -- 31Ioannis Chatzigiannakis, Elisavet Konstantinou, Vasiliki Liagkou, Paul G. Spirakis. Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks
33 -- 41Vanesa Daza, Paz Morillo, Carla Ràfols. On Dynamic Distribution of Private Keys over MANETs
43 -- 55Giovanni Di Crescenzo. Secure Node Discovery in Ad-hoc Networks and Applications
57 -- 69Reza Curtmola, Seny Kamara. A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks
71 -- 81Andrea Vitaletti, Gianni Palombizio. Rijndael for Sensor Networks: Is Speed the Main Issue?
83 -- 91Maki Yoshida, Toru Fujiwara. On the Security of Tag-KEM for Signcryption
93 -- 105Roberto Di Pietro, Luigi V. Mancini, Giorgio Zanin. Efficient and Adaptive Threshold Signatures for Ad hoc networks
107 -- 120Walid Bagga, Stefano Crosta, Pietro Michiardi, Refik Molva. Establishment of Ad-Hoc Communities through Policy-Based Cryptography