結果 : models of distributed system