A tree clock data structure for causal orderings in concurrent executions

No comments yet.