Explorations on the formal frontier of distributed system design | IEEE Conference Publication | IEEE Xplore