A fault tolerant model for a functional language parallel machine | IEEE Conference Publication | IEEE Xplore