Volume 343, Numbers 1-2, 10 October 2005 Game Theory Meets Theoretical Computer Science
Robert A. Hearn
, Erik D. Demaine
: PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation.
: The first order definability of graphs with separators via the Ehrenfeucht game.
Volume 343, Number 3, 17 October 2005 Formal Methods for Components and Objects Preface
: Behavioural specification for hierarchical object composition.
Robert F. Stärk
: Formal specification and verification of the C# thread model.