@MISC{Stewart01reducibilitybetween, author = {Charles Stewart}, title = {Reducibility Between Classes of Port Graph Grammar}, year = {2001} }
Bookmark
OpenURL
Abstract
This paper introduces a general notion of static-port graph grammar (SPGG) that encompasses existing formalisms that have been independently proposed, such as Linear Graph Grammars [Baw93], Interaction Nets [Laf90] and Partial Sharing Graphs [Lam90]. These formalisms have been shown to provide a computational framework for asynchronous computation that respects a very rigorous notion of local interaction, and have proven a suitable basis for the internal representation of program and data in the compilation of high-level programming languages for distributed execution.