結果 : models of distributed operating system