Agreeing on who is present and who is absent in a synchronous distributed system | IEEE Conference Publication | IEEE Xplore