Volume 330, Number 1, January 2005
: The language equivalence problem for HD0L systems having D0L growths.
: Explicit test sets for iterated morphisms in free monoids and metabelian groups.
Volume 330, Number 2, February 2005
Descriptional Complexity of Formal Systems
: On the number of components in cooperating distributed grammar systems.
: State complexity of some operations on binary regular languages.
: On the descriptional power of heads, counters, and pebbles.
: On two-way communication in cellular automata with a fixed number of cells.
: On the descriptional complexity of some rewriting mechanisms regulated by context conditions.
Volume 330, Number 3, February 2005
Expressiveness in Concurrency
, Uwe Nestmann
: EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).
: Elimination of spatial connectives in static spatial logics.
: Weak bisimilarity and regularity of context-free processes is EXPTIME-hard.
Frank D. Valencia
: Decidability of infinite-state timed CCP processes and first-order LTL.