Sciweavers

FM
2006
Springer
124views Formal Methods» more  FM 2006»
13 years 11 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave