10 citations · 18 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.DC2016
Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation
Viveck R. Cadambe, Zhiying Wang, Nancy Lynch
The focus of this paper is to understand storage costs of emulating an atomic shared memory over an asynchronous, distributed message passing system. Previous literature has develo…
cs.DC2016
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
Paul C. Attie, Nancy A. Lynch
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automa…