Page 19
17 June 2002
operations:
agreement formation
the negotiation needs to identify all pairs of proposals which are compatible (protocol specific rules are used to determine exactly which pairs are used to form an agreement). let F be the set of all valid proposals currently registered with the negotiation host:
potentialAgreements(P) = {(Pi,Pj)| compatible(Pi,Pj) /\ i /= j}