11 search results - page 3 / 3 » A Constraint-Based Formalism for Consistency in Replicated S... |
CP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...