A categorical approach to modularization of graph transformation systems using refinements

Marta Simeoni. A categorical approach to modularization of graph transformation systems using refinements. PhD thesis, Sapienza University of Rome, Italy, 2004. [doi]

Abstract

Abstract is missing.