Journal: Journal of Automata, Languages and Combinatorics

Volume 11, Issue 4

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

Volume 11, Issue 3

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

Volume 11, Issue 2

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

Volume 11, Issue 1

5 -- 6Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch. Editorial
7 -- 21Mathieu Baudet. Random Polynomial-Time Attacks and Dolev-Yao Models
23 -- 58J. Chen. Timed Extensions of p Calculus
59 -- 106Hervé Grall. A Confinement Criterion for Securely Executing Mobile Code
107 -- 142Sébastien Limet, Gernot Salzer. Basic Rewriting via Logic Programming, with an Application to the Reachability Problem