Electronic Notes in Theoretical Computer Science, Volume 160

Volume 160, August 2006

Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)