VOLUME 11 2006 NUMBER 4

Maurice H. Ter Beek, Gabriele Lenzini, Marinella Petrocchi:
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols345–374
Daniela Genova, Nataša Jonoska:
Topological Properties of Forbidding-Enforcing Systems375–398
Lucien Haddad, Dietlinde Lau, Ivo G. Rosenberg:
Intervals of Partial Clones Containing Maximal Clones399–421
Mario J. Pérez Jiménez, Álvaro Romero Jiménez, Fernando Sancho Caparrini:
A Polynomial Complexity Class in P Systems Using Membrane Division423–434
Bettina Sunckel:
On the Descriptional Complexity of External Hybrid Cooperating Distributed Grammar Systems435–447