1. 8
    TLA+ specification of the consistent prefix guarantee databases distributed formalmethods muratbuffalo.blogspot.com
    metadata avatar authored by metadata 6 days ago | cached | no comments

  1.