Search


Volume

Section

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Soundness in negotiations

Javier Esparza ; Denis Kuperberg ; Anca Muscholl ; Igor Walukiewicz.
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. Well-designed negotiations must be sound, meaning that, whatever its current state, the negotiation can still&nbsp;[&hellip;]
Published on January 16, 2018

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

A. R. Balasubramanian ; Javier Esparza ; Mikhail Raskin.
In rendez-vous protocols an arbitrarily large number of indistinguishable finite-state agents interact in pairs. The cut-off problem asks if there exists a number $B$ such that all initial configurations of the protocol with at least $B$ agents in a given initial state can reach a final&nbsp;[&hellip;]
Published on October 12, 2023

  • < Previous
  • 1
  • Next >