- Luca Aceto, Björn Victor, editors, 7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Volume 39 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.