A Formal Model of Addressing for Interoperating Networks.

Pamela Zave

Browse the full FM paper archive.