Static analysis of deterministic negotiations

MaRDI QIDQ5144691zbMATH OpenFDO

Authors Javier Esparza, Anca Muscholl, Igor Walukiewicz

Publication date 19 January 2021

Full work available at URL https://arxiv.org/abs/1704.04190, http://dl.acm.org/citation.cfm?id=3330079

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Soundness in negotiations
• Soundness in negotiations
• Negotiation programs
• On negotiation as concurrency primitive. II: Deterministic cyclic negotiations

Cited in

(5)

• Negotiation programs
• Active learning for sound negotiations
• Deterministic Negotiations: Concurrency for Free
• A local-time semantics for negotiations
• Timed negotiations

This page was built for publication: Static analysis of deterministic negotiations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5144691)