A Local-Time Semantics for Negotiations

Madhavan Mukund, Adwitee Roy, B Srivathsan

Negotiations, introduced by Esparza et al., are a model for concurrent systems where computations involving a set of agents are described in terms of their interactions. In many si…