Deterministic Negotiations: Concurrency for Free

We give an overview of recent results and work in progress on deterministic negotiations, a concurrency model with atomic multi-party negotiations as primitive actions.

[1]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[2]  Volker Diekert,et al.  The Book of Traces , 1995 .

[3]  Samik Basu,et al.  Deciding choreography realizability , 2012, POPL '12.

[4]  Jörg Desel,et al.  On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations , 2014, FoSSaCS.

[5]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.

[6]  Antonín Kucera,et al.  Playing Games with Counter Automata , 2012, RP.

[7]  Igor Walukiewicz.  Pushdown Processes: Games and Model-Checking , 2001, Inf. Comput..

[8]  K.E. Seamons,et al.  Automated trust negotiation , 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.

[9]  Rajeev Alur,et al.  Realizability and verification of MSC graphs , 2005, Theor. Comput. Sci..

[10]  Anca Muscholl,et al.  Message Sequence Charts , 2003, Lectures on Concurrency and Petri Nets.

[11]  Mannes Poel,et al.  Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach , 1991, CONCUR.

[12]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[13]  Moshe Tennenholtz,et al.  Distributed Games , 1998, TARK.

[14]  Philipp Hoffmann.  Negotiation Games , 2014, GandALF.

[15]  Nobuko Yoshida,et al.  Compositional Choreographies , 2013, CONCUR.

[16]  Anca Muscholl,et al.  Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata , 2010, ICALP.

[17]  Tomás Brázdil,et al.  Reachability Games on Extended Vector Addition Systems with States , 2010, ICALP.

[18]  Job Zwiers,et al.  Compositionality, Concurrency and Partial Correctness , 1989, Lecture Notes in Computer Science.

[19]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

[20]  Jörg Desel,et al.  Negotiation as concurrency primitive , 2013, Acta Informatica.

[21]  Jaikumar Radhakrishnan,et al.  FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science , 2004, Lecture Notes in Computer Science.

[22]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[23]  Tevfik Bultan,et al.  Realizability of Choreographies Using Process Algebra Encodings , 2012, IEEE Trans. Serv. Comput..

[24]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..