Volume 176, Number 1, May 2007
Proceedings of the Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006)
: Observational Equivalence for the Interaction Combinators and Internal Separation.
Volume 176, Number 2, May 2007
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006)
: DisCComp - A Formal Model for Distributed Concurrent Components.
Volume 176, Number 3, July 2007
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)
Volume 176, Number 4, July 2007
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006)