@InProceedings{AlcoleiClairambaultLaurent19,
  author    = {Aurore Alcolei and Pierre Clairambault and Olivier Laurent},
  title     = {Resource-Tracking Concurrent Games},
  booktitle = {Foundations of Software Science and Computation Structures},
  editor    = {Mikolaj Bojanczyk and Alex Simpson},
  series    = {Lecture Notes in Computer Science},
  volume    = {11425},
  pages     = {27--44},
  publisher = {Springer},
  month     = apr,
  year      = {2019}
}