New Results - Language Based Fault-Tolerance