Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems.

Klaus Barthelmann Georg Schied Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. 71-85 1993 conf/dagstuhl/1993gtcs Dagstuhl Seminar on Graph Transformations in Computer Science db/conf/dagstuhl/gtcs1993.html#BarthelmannS93