Files

.devcontainer
.github
specifications
- Bakery-Boulangerie
- BlockingQueue
- CASPaxos
- CCF
- Caesar
- CarTalkPuzzle
- Chameneos
- CheckpointCoordination
- CigaretteSmokers
- CoffeeCan
- DataPort
- DieHard
- DiningPhilosophers
- Disruptor
- EinsteinRiddle
- FiniteMonotonic
- GameOfLife
- HLC
- Huang
- KeyValueStore
- KnuthYao
- L1
- LearnProofs
- LeastCircularSubstring
- LevelChecking
- LoopInvariance
- Majority
- MisraReachability
- MissionariesAndCannibals
- MultiCarElevator
- MultiPaxos-SMR
- MultiPaxos
- N-Queens
- NanoBlockchain
- ParalleRaft
- Paxos
- PaxosHowToWinATuringAward
- Prisoners
- ReadersWriters
- SDP_Verification
- SimplifiedFastPaxos
- SingleLaneBridge
- SlidingPuzzles
- SlushProtocol
- SnapshotIsolation
- SpanningTree
- SpecifyingSystems
- Stones
- SyncConsensus
- TLC
- TeachingConcurrency
- TencentPaxos
- Termination
- Tla-tortoise-hare
- TransitiveClosure
- TwoPhase
- VoldemortKV
- YoYo
- aba-asyn-byz
- acp
- allocator
- async-comm
- azure-cosmos-tla
- bcastByz
- bcastFolklore
- bosco
- braf
- byihive
- byzpaxos
- c1cs
- cbc_max
- cf1s-folklore
- chang_roberts
- detector_chan96
- dijkstra-mutex
- diskpaxos
- echo
- egalitarian-paxos
- ewd426
- ewd687a
- ewd840
- ewd998
  - README_files
  - impl
  - AsyncTerminationDetection.cfg
  - AsyncTerminationDetection.tla
  - AsyncTerminationDetection_proof.tla
  - EWD998.cfg
  - EWD998.gif
  - EWD998.pdf
  - EWD998.tla
  - EWD998Chan.cfg
  - EWD998Chan.tla
  - EWD998ChanID.cfg
  - EWD998ChanID.tla
  - EWD998ChanID_export.cfg
  - EWD998ChanID_export.tla
  - EWD998ChanID_shiviz.cfg
  - EWD998ChanID_shiviz.tla
  - EWD998ChanTrace.cfg
  - EWD998ChanTrace.md
  - EWD998ChanTrace.ndjson
  - EWD998ChanTrace.tla
  - EWD998Chan_opts.tla
  - EWD998PCal.cfg
  - EWD998PCal.tla
  - EWD998Small.cfg
  - EWD998_anim.tla
  - EWD998_opts.R
  - EWD998_opts.gif
  - EWD998_opts.tla
  - EWD998_optsSC.tla
  - EWD998_opts_pt3.gif
  - EWD998_opts_pt4.gif
  - EWD998_proof.tla
  - README.Rmd
  - README.md
  - SmokeEWD998.cfg
  - SmokeEWD998.tla
  - SmokeEWD998_SC.cfg
  - SmokeEWD998_SC.tla
  - SmokeEWD998_SC1651624910.csv
  - TLAPS.tla
  - Utils.tla
- fastpaxos
- fpaxos
- glowingRaccoon
- lamport_mutex
- leaderless
- losa_ap
- losa_rda
- m2paxos
- mongo-repl-tla
- naiad
- nbacc_ray97
- nbacg_guer01
- nfc04
- raft
- spanning
- sums_even
- tcp
- tower_of_hanoi
- transaction_commit
- README
.ciignore
.gitattributes
.gitignore
.gitmodules
.gitpod.Dockerfile
.gitpod.yml
CITATION.cff
CNAME
CONTRIBUTING.md
DEVELOPING.md
LICENSE.md
README.md
manifest-schema.json
manifest.json

SmokeEWD998.cfg

Nov 16, 2022

515ede7 · Nov 16, 2022