DOI,IST REx ID,Research Group,Title of publication
10.1145/2837614.2837650,1439,ToHe,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms