Decoupled Interconnection of Distributed Memory Models


In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the original systems and the interconnection system (that is, they are decoupled) and consider systems implemented with invalidation and propagation. We first show that only fast (i… (More)
DOI: 10.1007/978-3-540-27860-3_22


5 Figures and Tables