Archived tweet #11944 from the @leastfixedpoint Twitter Archive

@_fsantanna Locally-synchronous/globally-asynchronous seems about right, yes. I've thought a bit about Dubroy's example, I think it'd find a pretty reasonable implementation, but I've not tried it yet. Sorry I don't have a terser presentation of Syndicate either... yet!