关于FLPResult的问题

kof02guy

最近看了FICHER,LYNCH，PETERSON的Impossibility of distributed consensus with one faulty process
这篇论文，其中有一些地方看不明白
比如说论文中说到的模型中，每一个进程有一个input register和一个output register，它们的值在集合{b,0,1}中，而在进程间进行通信的时候使用的是发送消息的方式来进行的,e(p,m)表示把消息m发送给进程p的一个事件。所发送的消息都属于集合M或者空集.这里我不明白这里input register, output register和消息m之间的关系，也就是说通过发送消息m的方式，如何来决定output register的值呢？
还有一个就是在initially dead process这一部分，这一部分我完全看不懂，如果有谁读这篇文章的，能帮帮我吗？