  In this work we provide a detailed specification of how we extended and
implemented Classic Paxos (CP) to execute Read-Modify-Writes. In addition, we
also specify how we implemented All-aboard Paxos over CP and how we use
carstamps, to also add ABD reads and writes, to accelerate the common case,
where RMWs are not needed. Our specification targets a Key-Value-Store that is
deployed within the datacenter, is replicated across 3 to 7 machines and
supports reads, writes and RMWs.
