%0 Conference Proceedings
%F kushnarenko97a
%A Kouchnarenko, O.
%A Schnoebelen, P.
%T A Formal Framework for the Analysis of Recursive-Parallel Programs
%B Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia
%N 1277
%P 45-59
%I Springer-Verlag, LNCS
%8 September
%D 1997