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

@inproceedings{Barthelmann1993GraphGrammarSO,
  title={Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems},
  author={Klaus Barthelmann and Georg Schied},
  booktitle={Dagstuhl Seminar on Graph Transformations in Computer Science},
  year={1993}
}
We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which aaect several processes from local changes such as variable bindings. We also sketch how to… CONTINUE READING