Logical consensus for distributed network agreement | IEEE Conference Publication | IEEE Xplore