Coarse-Grained Agoric Computing