Remaining CapTP FeaturesStay tuned to www.erights.org for more on these
Partition & recovery support
- Live vs. Sturdy references
Adversarial distributed acyclic GC
Distributed equality – tricky to define
Partially ordered message delivery
- When can the tortoise pass the hare?
- Forks and joins in the message-order graph
Distributed causality-flow debugging in progress