That's the same distinction, made in the same way, isn't it?
Well, we were using it to talk about things like cache invalidation and lax memory models rather than properties of algorithms.
Pretty much, yes.
Well, we were using it to talk about things like cache invalidation and lax memory models rather than properties of algorithms.