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