Fault detection in distributed transactions based on extended pi-calculus | IEEE Conference Publication | IEEE Xplore