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 Protocols | 345–374 |
Daniela Genova, Nataša Jonoska: | |
Topological Properties of Forbidding-Enforcing Systems | 375–398 |
Lucien Haddad, Dietlinde Lau, Ivo G. Rosenberg: | |
Intervals of Partial Clones Containing Maximal Clones | 399–421 |
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 |
Bettina Sunckel: | |
On the Descriptional Complexity of External Hybrid Cooperating Distributed Grammar Systems | 435–447 |