Electronic Notes in Theoretical Computer Science, Volume 108

Volume 108, December 2004

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2004)