1. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Processes and unfoldings: concurrent computations in adhesive categories. (26th June 2014) Authors: BALDAN, PAOLO; CORRADINI, ANDREA; HEINDEL, TOBIAS; KÖNIG, BARBARA; SOBOCIŃSKI, PAWEŁ Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Processes and unfoldings: concurrent computations in adhesive categories. (26th June 2014) Authors: BALDAN, PAOLO; CORRADINI, ANDREA; HEINDEL, TOBIAS; KÖNIG, BARBARA; SOBOCIŃSKI, PAWEŁ Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗