1 paper · 1 filter
Joerg Desel, Javier Esparza, Philipp Hoffmann
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems.…