Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Rewriting on cyclic structures: Equivalence between the operational and the categorical description;Corradini;Informatique Théorique et Applications,1999
2. A functorial semantics for multi-algebras and partial algebras, with applications to syntax;Corradini;Theor. Comp. Sci.,2002
3. Algebraic approaches to graph transformation I: Basic concepts and double pushout approach;Corradini,1997
4. Deriving bisimulation congruences the DPO approach to graph rewriting with borrowed contexts;Ehrig,2006
5. Graph rewriting for the π-calculus;Gadducci;Mathematical Structures in Computer Science,2007