Working Paxos without Queues