A decomposition solution to a queueing network model of a distributed file system with dynamic locking | IEEE Journals & Magazine | IEEE Xplore