LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 256-258 of 486
-
The Impact of Synchronous Communication on. The Problem of Electing a Leader in a Ring
(1984-04)We consider the problem of electing a leader in a synchronous ring of n processors. We obtain both positive and negative results. One the one hand, we show that if processor ID's are chosen from some countable set, then ... -
The Semantics of Local Storage of What Makes The Free-list Free?
(1984-04)Denotational semantics for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing) is given by translating programs into an appropriately typed lambda-calculus. Procedures are ...
