| Reversing graph transformations 2 (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| 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. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||