Electronic Notes in Theoretical Computer Science, Volume 127

Volume 127, Number 1, March 2005

Volume 127, Number 2, March 2005

Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004)

Volume 127, Number 3, April 2005

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004)

Volume 127, Number 4, April 2005

Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004)

Volume 127, Number 5, May 2005

Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004)