Theoretical Computer Science, Volume 356
Volume 356, Numbers 1-2, May 2006
In honour of Professor Christian Choffrut
on the occasion of his 60th birthday
Janusz A. Brzozowski
: Representation of a class of nondeterministic semiautomata by canonical words.
: Characterizing CTL-like logics on finite trees.
: Synchronization of a bounded degree graph of cellular automata with nonuniform delays in time D floor(logm D).
: Completing prefix codes in submonoids.
Volume 356, Number 3, May 2006
Expressiveness in Concurrency Preface
: Name-passing in an ambient-like calculus and its proof using spatial logic.