An Algorithm to Construct Distributed Systems from State-Machines.

Rainer Prinoth An Algorithm to Construct Distributed Systems from State-Machines. 261-282 1982 conf/pstv/1982 PSTV db/conf/pstv/pstv1982.html#Prinoth82