• DOI:10.1109/SFCS.1980.2
Corpus ID: 746841

A distributed abstract data type implemented by a probabilistic communication scheme

@article{Francez1980ADA,
  title={A distributed abstract data type implemented by a probabilistic communication scheme},
  author={N. Francez and M. Rodeh},
  journal={21st Annual Symposium on Foundations of Computer Science (sfcs 1980)},
  year={1980},
  pages={373-379}
}

N. Francez, M. Rodeh

Published 1980

Computer Science

21st Annual Symposium on Foundations of Computer Science (sfcs 1980)

From the users' point of view, resource management schemes may be considered as an abstract data type. An abstract specification of such schemes using axioms holding in partial algebras and relatively distributed implementations (expressed as CSP programs) are given and analyzed. Then the idea of probabilistic implementation of guard scheduling is suggested, which allows completely distributed symmetric programs. It frees the designer of an algorithm from looking for specific probabilistic… CONTINUE READING

View on IEEE

doi.ieeecomputersociety.org

Save to Library

Create Alert

Cite

Launch Research Feed