Skip to main content
Conference Proceedings

A formal model of addressing for interoperating networks

Lecture Notes in Computer Science (2005) 3582 318-333
DOI: 10.1007/11526841_22
8Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Designing network address spaces for interoperation among domains is a challenging task. A formal model in Alloy is used to clarify the problems and explore solutions. Basic connectivity requirements are proposed, and two different sets of constraints are shown to satisfy them. © Springer-Verlag Berlin Heidelberg 2005.

Author supplied keywords

Cite

CITATION STYLE

APA

Zave, P. (2005). A formal model of addressing for interoperating networks. In Lecture Notes in Computer Science (Vol. 3582, pp. 318–333). Springer Verlag. https://doi.org/10.1007/11526841_22

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free