address review

README.md

@@ -79,8 +79,8 @@ ELMO (Equivocation-Limited Message Observer) is a family of protocols that demon
 
 ### VLSM application: Paxos
 
-Paxos is a protocol for achieving distributed consensus in the presence of crash faults and message loss.
+[Paxos](https://en.wikipedia.org/wiki/Paxos_(computer_science)) is a protocol for achieving distributed consensus among network nodes in the presence of crash faults and message loss.
 
-- [Abstract Specification of Consensus](theories/Examples/Paxos/Consensus.v): high-level specification of consensus.
-- [Specification of Consensus by Voting](theories/Examples/Paxos/Consensus.v): specification of consensus where a set of nodes agree on a value by voting.
-- [A Basic Paxos Protocol](theories/Examples/Paxos/Consensus.v): consensus by votes from a quorum of acceptor nodes and using a leader node for each ballot.
+- [Abstract Specification of Consensus](theories/Examples/Paxos/Consensus.v): specification of consensus as a set of values that can be agreed on by nodes.
+- [Specification of Consensus by Voting](theories/Examples/Paxos/Consensus.v): specification of consensus where nodes agree on a value by voting.
+- [A Basic Paxos Protocol](theories/Examples/Paxos/Consensus.v): specification of consensus by votes from a quorum of acceptor nodes and using a leader node for each ballot.

meta.yml

@@ -133,9 +133,9 @@ documentation: |-
 
   ### VLSM application: Paxos
 
-  Paxos is a protocol for achieving distributed consensus in the presence of crash faults and message loss.
+  [Paxos](https://en.wikipedia.org/wiki/Paxos_(computer_science)) is a protocol for achieving distributed consensus among network nodes in the presence of crash faults and message loss.
 
-  - [Abstract Specification of Consensus](theories/Examples/Paxos/Consensus.v): high-level specification of consensus.
-  - [Specification of Consensus by Voting](theories/Examples/Paxos/Consensus.v): specification of consensus where a set of nodes agree on a value by voting.
-  - [A Basic Paxos Protocol](theories/Examples/Paxos/Consensus.v): consensus by votes from a quorum of acceptor nodes and using a leader node for each ballot.
+  - [Abstract Specification of Consensus](theories/Examples/Paxos/Consensus.v): specification of consensus as a set of values that can be agreed on by nodes.
+  - [Specification of Consensus by Voting](theories/Examples/Paxos/Consensus.v): specification of consensus where nodes agree on a value by voting.
+  - [A Basic Paxos Protocol](theories/Examples/Paxos/Consensus.v): specification of consensus by votes from a quorum of acceptor nodes and using a leader node for each ballot.
 ---