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)
maintained by Schloss Dagstuhl LZI at University of Trier