DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.SNAPL.2015.90,1498,ToHe,The need for language support for fault-tolerant distributed systems