Theoretical Computer Science, Volume 386

Volume 386, Numbers 1-2, October 2007

Volume 386, Number 3, November 2007

Expressiveness in Concurrency
a service of Schloss Dagstuhl - Leibniz Center for Informatics