, Role-Based Development of Dynamically Evolving Esembles
, Rolf Hennicker Survey Papers Parameterized Strategies Specification in Maude
Isabel Pita, and Alberto Verdejo Contributed Papers An Algebraic Theory for Data Linkage ,
, , p.67
Till Mossakowski Finite Limits and Anti-unification in Substitution Categories, vol.87 ,
, Wolfram Kahl A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories, Lars Fritsche, Nebras Nassar, Andy Schürr, and Gabriele Taentzer ,
,