@inproceedings{kokke:hal-02365505,
  TITLE = {{Towards Races in Linear Logic}},
  AUTHOR = {Kokke, Wen and Morris, J. Garrett and Wadler, Philip},
  URL = {https://inria.hal.science/hal-02365505},
  NOTE = {Part 1: Computational Models},
  BOOKTITLE = {{21th International Conference on Coordination Languages and Models (COORDINATION)}},
  ADDRESS = {Kongens Lyngby, Denmark},
  EDITOR = {Hanne  Riis Nielson and Emilio Tuosto},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-11533},
  PAGES = {37-53},
  YEAR = {2019},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-22397-7\_3},
  KEYWORDS = {Non-determinism ; Session types ; Linear logic ; Deadlock freedom ; $\pi $-calculus},
  PDF = {https://inria.hal.science/hal-02365505/file/478673_1_En_3_Chapter.pdf},
  HAL_ID = {hal-02365505},
  HAL_VERSION = {v1},
}