[SERVER-44850] Second round of literature review for TLA+ trace checker paper Created: 26/Nov/19  Updated: 29/Oct/23  Resolved: 06/Feb/20

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: 4.3.4

Type: Task Priority: Major - P3
Reporter: A. Jesse Jiryu Davis Assignee: A. Jesse Jiryu Davis
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Depends
depends on SERVER-43595 Literature review for TLA+ trace chec... Closed
is depended on by SERVER-43598 TLA+ Trace Checker paper: "Related Wo... Closed
Backwards Compatibility: Fully Compatible
Sprint: Repl 2019-12-16, Repl 2019-12-30, Repl 2020-01-13, Repl 2020-01-27, Repl 2020-02-10
Participants:

 Description   

After reviewing first draft of TLA+ Trace Checker paper's "Related Work" and bibliography, do additional research that reviewers suggest.


Generated at Thu Feb 08 05:07:09 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.