Lazy buffer semantics for partial order scenarios

Bill Mitchell. Lazy buffer semantics for partial order scenarios. Automated Software Engineering, 14(4):419-441, 2007. [doi]

Abstract

Abstract is missing.