A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation

P. M. Lu, Stephen S. Yau, Wonmo Hong. A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation. Inf. Sci., 30(2):79-105, 1983. [doi]

Abstract

Abstract is missing.