"Symmetry in concurrent games."

Simon Castellan, Pierre Clairambault, Glynn Winskel (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics