Sciweavers

FM
2006
Springer
124views Formal Methods» more  FM 2006»
13 years 8 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