Process dependence net of distributed programs and its applications in development of distributed systems | IEEE Conference Publication | IEEE Xplore