This is a quote from the book "B-Money" by Wei Dai
...X units andcredits K_B's account by X units, unless this would create a negativebalance in K_A's account in which case the message is ignored.
read full book
3. The effecting of contract
effecting of contracts. A valid contract must include a maximum reparation in case of default for each participant party to it. It should also include a party who will perform arbitration should
parties to a contract including the arbitrator must broadcasttheir signatures of it before it becomes effective. Upon the broadcast ofthe contract and all signatures, every participant debits t...