Sciweavers

75
Voted
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 1 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