@Article{         Esparza:2017aa,
  Author        = "Esparza, Javier and Kuperberg, Denis and Muscholl, Anca and Walukiewicz, Igor",
  Abstract      = "Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive.",
  date-added    = "2017-03-28 12:46:38 +0000",
  date-modified = "2017-03-28 12:46:38 +0000",
  EPrint        = "1703.05137",
  Month         = "03",
  Title         = "Soundness in negotiations",
  URL           = "https://arxiv.org/abs/1703.05137",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1703.05137",
  File          = "1703.05137 (0) - a - a - n.pdf"
}

@Article{ Esparza:2017aa, Author = "Esparza, Javier and Kuperberg, Denis and Muscholl, Anca and Walukiewicz, Igor", Abstract = "Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive.", date-added = "2017-03-28 12:46:38 +0000", date-modified = "2017-03-28 12:46:38 +0000", EPrint = "1703.05137", Month = "03", Title = "Soundness in negotiations", URL = "https://arxiv.org/abs/1703.05137", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1703.05137", File = "1703.05137 (0) - a - a - n.pdf" }