I suppose it would be really elegant if we could define a new net
    monad(?) which allows us to reason generally about computations
    with different expiration times, but that goes far beyond my
    expertise.

See the following paper on "service combinators"...

http://research.microsoft.com/research/cambridge/luca/Papers/ServiceCombinators.ps

-- 
Patrick Logan                 mailto:[EMAIL PROTECTED]
Voice 503-533-3365            Fax   503-629-8556
Gemstone Systems, Inc         http://www.gemstone.com


Reply via email to