A simulation of dataflow computer models and a model of fault tolerant dataflow computer