MoL-2019-03: van den Heuvel, Bas (2019) The Logic of Fault-Tolerance in Message-Passing Concurrency. [Report]