Journal: IEEE Trans. Software Eng.

Volume 12, Issue 11

1049 -- 1055Hisao Kameda. The Gains from Computer Communication
1056 -- 1066David W. Stemple, Stephen Vinter, Krithi Ramamritham. Functional Addressing in Gutenberg: Interprocess Communication without Process Indentifiers
1067 -- 1075Alan B. Sheltzer, Gerald J. Popek. Internet Locus: Extending Transparency to an Internet Environment
1076 -- 1087Ellis Horowitz, Ronald Williamson. SODOS: A Software Documentation Support Environment - Its Use
1088 -- 1095To-Yat Cheung. On the Projection Method for Protocol Verification
1096 -- 1101Sukhamay Kundu. The Call-Return Tree and Its Application to Program Performance Analysis