@misc{indiciae32e167cee1ae,
  title = {Models of fault-tolerant distributed computation via dynamic epistemic logic},
  author = {Eric Goubault and Sergio Rajsbaum},
  year = {2017},
  url = {https://arxiv.org/abs/1704.07883},
  note = {Source identifier: 1704.07883}
}