Reversing graph transformations

Pawel Sobocinski

Abstract


In recent work with Vincent Danos and Jean Krivine the author introduced a general framework for backtracking in concurrent formalisms, thus allowing modelling of situations where deadlock can arise without the necessity of explicitly encoding the often involved backtracking mechanisms. Here we shall discuss how the framework can be applied to the well-known formalism of double-pushout graph transformation.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.2.59

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.2.59.31

Hosted By Universit├Ątsbibliothek TU Berlin.