MSCS:

Special issue on

Advances in Algebraic Foundations of Structure Transformation

 

Camera ready version of submission 8

 

 

Paper title

Analysis of Permutation Equivalence in M-adhesive Transformation Systems with Negative Application Conditions

PDF-File

http://user.cs.tu-berlin.de/~tfs/publikationen/Papers12/HCE12/HEC12-2012-01.pdf

 

TEX-Files

http://user.cs.tu-berlin.de/~tfs/publikationen/Papers12/HCE12/sources_HCE12.zip

 

Main TEX-File

main.tex

Authors

Frank Hermann

frank@cs.tu-berlin.de

Fak. IV, TU Berlin

Sekr. FR 6-1

Franklinstr. 28/29

10587 Berlin

Germany

 

Andrea Corradini

andrea@di.unipi.it

Dipartimento di Informatica

Universitą di Pisa
Stanza 357 DO
Largo B. Pontecorvo, 3
I-56127 Pisa
Italy

 

Hartmut Ehrig

ehrig@cs.tu-berlin.de

Fak. IV, TU Berlin

Sekr. FR 6-1

Franklinstr. 28/29

10587 Berlin

Corresponding author for the galley proofs

Frank Hermann