On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.

Javier Esparza, Jrg Desel

Browse the full FOSSACS paper archive.