A question related to the development of safety-critical systems: Is inter-process and inter-node communication in Erlang only as reliable as TCP/IP, or are any additional error-detecting strategies used (e.g. hamming, cyclic or polynomial codes)? Dominic.