Theoretical Computer Science vol. 195(2). Special Issue on Concurrency Theory