Author of the publication

A Language Extension for Graph Processing and Its Formal Semantics.

, and . Commun. ACM, 14 (7): 460-467 (1971)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Design of the GODIVA Performance Measurement System.. LCR, volume 1511 of Lecture Notes in Computer Science, page 219-228. Springer, (1998)Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net., and . J. Parallel Distributed Comput., 10 (3): 253-260 (1990)Pascal - a new introduction to computer science.. Prentice Hall, (1990)Kernel-control tailoring of sequential programs for parallel execution., and . ICPP, page 245-247. IEEE Computer Society, (1982)Hierarchical Modeling of Software Systems with Timed Petri Nets., and . PNPM, page 32-39. IEEE Computer Society, (1985)Formal specification of software using H-graph semantics.. Graph-Grammars and Their Application to Computer Science, volume 153 of Lecture Notes in Computer Science, page 314-332. Springer, (1982)Language Concepts for Distributed Processing of Large Arrays., and . PODC, page 19-28. ACM, (1982)Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube., , and . SIGMETRICS, page 178-187. ACM, (1991)Four Models for the Analysis of Optimization of Program Control Structures. STOC, page 167-176. ACM, (1975)Program Analysis and Optimization through Kernel-Control Decomposition.. Acta Inf., (1978)