Theoretical Computer Science, Volume 336

Volume 336, Number 1, May 2005

Database Theory

Volume 336, Number 2-3, May 2005

Abstract State Machines and High-Level System Design and Analysis