Results 1 -
3 of
3
Implementing Distributed Systems Using Linear Naming
- MIT AI Lab
, 1993
"... things is explicitly represented. The key idea is the notion of linearity. A name is linear if it is only used once, so with linear naming you cannot create more than one outstanding reference to an entity. As a result, linear naming is cheap to support and easy to reason about. ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
things is explicitly represented. The key idea is the notion of linearity. A name is linear if it is only used once, so with linear naming you cannot create more than one outstanding reference to an entity. As a result, linear naming is cheap to support and easy to reason about.
Linear Naming: Experimental Software for Optimizing Communication Protocols
, 1998
"... We propose to design and implement significant new forms of procedure calling protocols, together with relevant supporting formal tools and implementation technology, and experiments that evaluate their feasibility and effectiveness. ..."
Abstract
- Add to MetaCart
We propose to design and implement significant new forms of procedure calling protocols, together with relevant supporting formal tools and implementation technology, and experiments that evaluate their feasibility and effectiveness.
