Abha Moitra (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Mathai Joseph, Abha Moitra, Neelam Soundararajan: Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8(1): 43-67 (1987)

6 Mathai Joseph, Abha Moitra: Algebraic Specification Of A Communication Scheduler. TAPSOFT, Vol.2 1985: 356-370

4 Mathai Joseph, Abha Moitra: Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress 1983: 481-486

Selection of 3 from 15 records - Abha Moitra has 11 coauthors

9		Mathai Joseph, Abha Moitra, Neelam Soundararajan: Proof Rules for Fault Tolerant Distributed Programs. Sci. Comput. Program. 8(1): 43-67 (1987)
6		Mathai Joseph, Abha Moitra: Algebraic Specification Of A Communication Scheduler. TAPSOFT, Vol.2 1985: 356-370
4		Mathai Joseph, Abha Moitra: Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress 1983: 481-486