Kostas Kontogiannis. Toward program representation and program understanding using process algebras. In John E. Botsford, Arthur G. Ryman, Jacob Slonim, David J. Taylor, editors, Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes. pages 299-317, IBM, 1992. [doi]
Abstract is missing.