On analysis of deadlock and blocking freeness in isomorphic module systems | IEEE Conference Publication | IEEE Xplore