A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Negotiation as Concurrency Primitive
[article]
2016
arXiv
pre-print
Preserved Fulltext
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems. ...
one-step negotiations. ...
by studying formal models with atomic negotiation as concurrency primitive. ...
arXiv:1612.07912v1
fatcat:4q4jk6m4kbfnba5kjumiiuxzgm
On Negotiation as Concurrency Primitive
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. ...
We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation. ...
However, these papers do not address the issue of negotiation as concurrency primitive. ...
doi:10.1007/978-3-642-40184-8_31
fatcat:3ze2iwh6m5gl3bbmognseaqib4
On Negotiation as Concurrency Primitive
[article]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. ...
We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation. ...
However, these papers do not address the issue of negotiation as concurrency primitive. ...
arXiv:1307.2145v1
fatcat:s5l5otcgy5g77oig3z5pkh5pbq
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We continue our study of negotations, a concurrency model with multiparty negotiation as primitive. ...
In this paper we extend this result to all deterministic negotiations, including cyclic ones. ...
However, it has not yet been studied from a concurrency-theoretic point of view. In [7] we have initiated a study of negotiation as communication primitive. ...
arXiv:1403.4958v2
fatcat:6u5ww5e3h5bfxkhjx5stuo4bai
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We continue our study of negotiations, a concurrency model with multi-party negotiation as primitive. ...
In this paper we extend this result to all deterministic negotiations, including cyclic ones. ...
Some works model the behaviour of a negotiation party using business process languages or Petri net, and model negotiation protocols as the concurrent composition of the parties [4, 18, 16] . ...
doi:10.1007/978-3-642-54830-7_17
fatcat:h4ooi3xh2vc7zbxw3xe6zwefwu
Using Single Function Agents for Design
[chapter]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We are concerned with the "primitives" of knowledge and reasoning. ...
CONCLUSIONS Currently, the negotiation behavior of the agents (their strategies) is very primitive. ...
Conflicts and Negotiation in Single Function Agent Based Design Systems. Concurrent Engineering: Research and Applications, Special issue, "Multiagent Systems in Concurrent Engineering", D. C. ...
doi:10.1007/978-0-387-34930-5_2
fatcat:m3eo7dguofhtdnnpkk6l3ebty4
A scalable approach to multi-agent resource acquisition and control
2005
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
If a contract has been successfully negotiated, a client can relocate to the host using the migrate primitive as shown in Figure 2 . ...
The negotiation is initiated by the facilitator actor of the cyberorg interested in migrating by a call of the negotiation primitive. • Negotiation: Contract negotiate(ActorName destFacilitatorActor) where ...
doi:10.1145/1082473.1082605
dblp:conf/atal/JamaliZ05
fatcat:bfhyqx7krvhxfbujx2ople2hy4
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Formal methods can verify the correctness of a concurrent system by analyzing its model. ...
In this paper, we present DLC (Distributed LNT Compiler ), a tool that automatically generates distributed implementation of concurrent systems modeled in the LNT language, which can be formally verified ...
The LNT formal language combines a syntax close to mainstream programming languages with powerful concurrency primitives inherited from process algebras. ...
doi:10.1007/978-3-662-49674-9_34
fatcat:hqj4b4guz5fmrp6xxhwqf2pta4
MAINWAVE: Multi Agents and Issues Negotiation for Web using Alliance Virtual Engine
[article]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The concepts of multithreading and concurrency has been utilized to perform parallel execution. ...
criteria such as the first come first serve or the relative priorities. ...
Jennings in their paper for concurrent, bilateral negotiation [3] make use of the following message primitives: Offer (a proposal made by one agent to the other), Counter-offer (a revised proposal from ...
arXiv:1206.5884v1
fatcat:7znzffhbg5do7n3xzyf74fl3ay
HENRI
2012
Proceedings of the CUBE International Information Technology Conference on - CUBE '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2022 pre-print arXiv:2202.02430v1 fatcat:tk52naaekbb5vamjv6bhtkxocy
It focuses on the negotiation protocol to be observed and provides a platform for concurrent and independent negotiation on individual issues using the concept of multi threading. ...
This paper proposes a framework for a full fledged negotiation system that allows multi party multi issue negotiation. ...
Jennings in their paper for concurrent, bilateral negotiation [3] make use of the following message primitives: Offer (a proposal made by one agent to the other), Counter-offer (a revised proposal from ...
doi:10.1145/2381716.2381840
dblp:conf/cube/DeochakeSKPCM12
fatcat:ioscjtwigvbgvfxvamzucutwde
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
2015
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
primitives-into the distributed implementation -which often relies on low-level communication primitives. ...
Experiments presented in this paper were carried out using the Grid'5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several Universities as well as ...
The authors warmly thank Lucas Cimon for suggesting Raft as a case study, and the Inria/CONVECS team members, in particular Wendelin Serwe and Hubert Garavel, for useful discussions. ...
doi:10.1109/pdp.2015.96
dblp:conf/pdp/EvrardL15
fatcat:atyi6lwoxzeyhe7j6hsb7cmdya
DAI betwixt and between: from 'intelligent agents' to open systems science
1991
IEEE Transactions on Systems, Man and Cybernetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Actors are introduced as primitives of concurrency --computations consist of communications between actors, each of which has local information, and must communicate with other agents to access other information ...
Conflict processing is done by forums, which provide all their information (mod individual filters) to all subscribers; these are used as arenas for negotiation. ...
A forum is used as an arena for negotiation. The most common conflict results from unintended interactions in ongoing joint activities. ...
doi:10.1109/21.135685
fatcat:yjnsz726cfclpmihb5asopiyd4
MAINWAVE: Multi Agents and Issues Negotiation for Web using Alliance Virtual Engine
2012
The Smart Computing Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The concepts of multithreading and concurrency has been utilized to perform parallel execution. ...
criteria such as the first come first serve or the relative priorities. ...
Jennings in their paper for concurrent, bilateral negotiation [3] make use of the following message primitives: Offer (a proposal made by one agent to the other), Counter-offer (a revised proposal from ...
doi:10.6029/smartcr.2012.05.001
fatcat:hetxg2zmenc5njccwwf2v7q33q
Trust-serv
2004
Proceedings of the 13th conference on World Wide Web - WWW '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
as well as enabling scalable deployments. ...
We introduce Trust-Serv, a model-driven trust negotiation framework for Web services. ...
We detail these below: • Concurrent to completion. The negotiation in progress according to P.I is allowed to complete according to P.I. ...
doi:10.1145/988672.988680
dblp:conf/www/SkogsrudBC04
fatcat:eqdb5lxfk5bw7db7aa5srmldnm
An Agent Architecture for Concurrent Bilateral Negotiations
[chapter]
2014
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present an architecture that makes use of symbolic decision-making to support agents participating in concurrent bilateral negotiations. ...
Our work combines the specification of domain-independent decision-making with a new protocol for concurrent negotiation that revisits the well-known alternating offers protocol [22] . ...
Concurrent Alternating Offers Protocol We study a practical concurrent negotiation setting where a buyer agent engages in multiple bilateral negotiations in order to acquire a good. ...
doi:10.1007/978-3-319-11364-7_8
fatcat:2csihjpo4zcu5jemz6hbldbv5q
« Previous
Showing results 1 — 15 out of 11,236 results