Shafer, Keith. "Modeling, implementing, and tools for studying logical process- to-process channels in asynchronous distributed systems /." Doctoral dissertation, Ohio State University, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487760357820315Chicago Manual of Style (17th edition)