Timed negotiations

DOI10.1007/978-3-030-45231-5_3MaRDI QIDQ2200811zbMATH OpenOpenAlexFDO

Authors S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital

Publication date 23 September 2020

Full work available at URL https://doi.org/10.1007/978-3-030-45231-5_3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A local-time semantics for negotiations
• Soundness in negotiations
• Soundness in negotiations

Cites work

• Free Choice Petri Nets
• scientific article; zbMATH DE number 1302047 (Why is no real title available?)
• scientific article; zbMATH DE number 7438566 (Why is no real title available?)
• On negotiation as concurrency primitive. II: Deterministic cyclic negotiations
• Reduction rules for time Petri nets
• Soundness in negotiations
• Static analysis of deterministic negotiations
• The complexity of facets (and some facets of complexity)
• The complexity of optimization problems
• Timed negotiations

Cited in

(2)

• Timed negotiations
• A local-time semantics for negotiations

This page was built for publication: Timed negotiations

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