An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories Andrea CorradiniFabio Gadducci OriginalPaper Pages: 299 - 331
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems Ugo MontanariFrancesca Rossi OriginalPaper Pages: 333 - 370
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems Julia Padberg OriginalPaper Pages: 371 - 403