Journal of Automata, Languages and Combinatorics, Volume 11

Volume 11, Number 1, 2006

Selected Papers of the International Workshop on Security Analysis of Systems: Formalisms and Tools (Orléans, France, June 21-22, 2004)

Mathieu Baudet: Random Polynomial-Time Attacks and Dolev-Yao Models. 7-21 BibTeX
J. Chen: Timed Extensions of p Calculus. 23-58 BibTeX
Hervé Grall: A Confinement Criterion for Securely Executing Mobile Code. 59-106 BibTeX
Sébastien Limet, Gernot Salzer: Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. 107-142 BibTeX

Peter R. J. Asveld: Generating all Circular Shifts by Context-Free Grammars in Chomsky Normal Form. 147-159 BibTeX
Ferenc Gécseg, Balázs Imreh: On Asynchronous Tree Automata. 161-168 BibTeX
Oscar H. Ibarra, Bala Ravikumar, Cagdas Evren Gerede: Quality-Aware Service Delegation in Automated Web Service Composition: An Automata-Theoretic Approach. 169-188 BibTeX
Andrei A. Krokhin, Ivo G. Rosenberg: A Monoidal Interval of Clones of Selfdual Functions. 189-208 BibTeX
Dietmar Wätjen: Limited Simple Eco-Grammar Systems with Prescribed Teams. 209-231 BibTeX

Selected Papers dedicated to Membrane Computing

Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan: Communication Membrane Systems with Active Symports. 241-261 BibTeX
Matteo Cavaliere, Rudolf Freund, Alexander Leitsch, Gheorghe Paun: Event-Related Outputs of Computations in P Systems. 263-278 BibTeX
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie: On the Decidability of Model-Checking for P Systems. 279-298 BibTeX
Tseren-Onolt Ishdorj: Power and Efficiency of Minimal Parallelism in Polarizationless P Systems. 299-320 BibTeX
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Process Semantics for Membrane Systems. 321-340 BibTeX

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. 345-374 BibTeX
Daniela Genova, Natasa Jonoska: Topological Properties of Forbidding-Enforcing Systems. 375-397 BibTeX
Lucien Haddad, Dietlinde Lau, Ivo G. Rosenberg: Intervals of Partial Clones Containing Maximal Clones. 399-421 BibTeX
Mario J. Pérez-Jiménez, Álvaro Romero Jiménez, Fernando Sancho-Caparrini: A Polynomial Complexity Class in P Systems Using Membrane Division. 423-434 BibTeX
Bettina Sunckel: On the Descriptional Complexity of External Hybrid Cooperating Distributed Grammar Systems. 435-447 BibTeX