On the Decomposition of Asynchronous Systems Robert M. Keller 78-89 conf/focs/FOCS13 1972 FOCS db/conf/focs/focs72.html#Keller72