Pedro Pablo Pérez Velasco, Juan de Lara. Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. Electronic Notes in Theoretical Computer Science, 206:133-152, 2008. [doi]
Abstract is missing.