"Tutorial on separation results in process calculi via leader election ..."

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics