4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LO2016
Negotiation as Concurrency Primitive
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.…
cs.LO2014★ 3 cited
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations
Javier Esparza, Jörg Desel
We continue our study of negotations, a concurrency model with multiparty negotiation as primitive. In a previous paper (arXiv:13072145) we have provided a correct and complete set…
cs.LO2013★ 4 cited
On Negotiation as Concurrency Primitive
Javier Esparza, Joerg Desel
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a…