Distribution semantics: database consistency -- transactions

[Raul Deluth Miller]

I've been thinking about "resource quantification" mechanisms, and
while I'm not quite ready to lay down my proposal, I should mention
that available network bandwidth could be included in such
quantification (e.g. to superceed some timeout when it's expected that
a calculation will take rather long).

-- 
Raul D. Miller          N=:((*/pq)&|)@                 NB. public e, y, n=:*/pq
<rockwell@nova.umd.edu> P=:*N/@:#               NB. */-.,e e.&factors t=:*/<:pq
                        1=t|e*d            NB. pq is two large primes, e medium
x-:d P,:y=:e P,:x                    NB. (d P,:y)-:D P*:N^:(i.#D)y [. D=:|.@#.d