Dynamic Control Structures for Cooperating Processes (Elections, Deadlock Detection, Decentralized, Agreement) - Malcolm Richard Railey (1986)