Volume 175, Number 1, May 2007
Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006)
Volume 175, Number 2, June 2007
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)
Volume 175, Number 3, June 2007
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006)
: Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract).
: Synchrony vs Asynchrony in Communication Primitives.
Volume 175, Number 4, July 2007
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)
: Verification of Random Graph Transformation Systems.