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