@InProceedings{   CastellanClairambaultWinskel,
  Author        = "Castellan, Simon and Clairambault, Pierre and Winskel, Glynn",
  BookTitle     = "LICS'14",
  date-added    = "2014-04-26 06:10:52 +0000",
  date-modified = "2014-04-26 06:11:15 +0000",
  Title         = "Symmetry in Concurrent Games",
  Year          = "2014",
  File          = "Symmetry in Concurrent Games - Castellan, Clairambault, Winskel (0) (0) - a - a - r.pdf",
  file-2        = "Symmetry in Concurrent Games - Castellan, Clairambault, Winskel (1) (0) - a - a - r.pdf"
}

@InProceedings{ CastellanClairambaultWinskel, Author = "Castellan, Simon and Clairambault, Pierre and Winskel, Glynn", BookTitle = "LICS'14", date-added = "2014-04-26 06:10:52 +0000", date-modified = "2014-04-26 06:11:15 +0000", Title = "Symmetry in Concurrent Games", Year = "2014", File = "Symmetry in Concurrent Games - Castellan, Clairambault, Winskel (0) (0) - a - a - r.pdf", file-2 = "Symmetry in Concurrent Games - Castellan, Clairambault, Winskel (1) (0) - a - a - r.pdf" }