Parallel coherent graph transformations

From MaRDI portal
Publication:2237338