Electronic Notes in Theoretical Computer Science, Volume 215

Volume 215, June 2008

Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS 2007)
maintained by Schloss Dagstuhl LZI at University of Trier