Arthur J. Bernstein. Predicate Transfer and Timeout in Message Passing Systems. Inf. Process. Lett., 24(1):43-52, 1987.
@article{Bernstein87:1,
title = {Predicate Transfer and Timeout in Message Passing Systems},
author = {Arthur J. Bernstein},
year = {1987},
researchr = {https://researchr.org/publication/Bernstein87%3A1},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {24},
number = {1},
pages = {43-52},
}