Jo C. Ebergen. Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components. Science of Computer Programming, 18(3):223-245, 1992.
@article{Ebergen92,
title = {Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components},
author = {Jo C. Ebergen},
year = {1992},
tags = {C++},
researchr = {https://researchr.org/publication/Ebergen92},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {18},
number = {3},
pages = {223-245},
}