Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence | Publicación