4 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…