A Calculational Framework for Parallelization of Sequential Programs (1997)

by Zhenjiang Hu, Masato Takeichi
Venue:In International Symposium on Information Systems and Technologies for Network Society