A Formal Framework for the Analysis of Recursive-Parallel Programs

Olga Kouchnarenko, Ph. Schnoebelen. A Formal Framework for the Analysis of Recursive-Parallel Programs. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997, Proceedings. Volume 1277 of Lecture Notes in Computer Science, pages 45-59, Springer, 1997.

Authors

Olga Kouchnarenko

This author has not been identified. Look up 'Olga Kouchnarenko' in Google

Ph. Schnoebelen

This author has not been identified. It may be one of the following persons: Look up 'Ph. Schnoebelen' in Google