, Role-Based Development of Dynamically Evolving Esembles

, Rolf Hennicker Survey Papers Parameterized Strategies Specification in Maude

R. Rubio and N. Martí-oliet, Isabel Pita, and Alberto Verdejo Contributed Papers An Algebraic Theory for Data Linkage

M. Liang-ting-chen, J. V. Roggenbach, . Tucker-institutions-for-sql-database, . Schemas, and . .. Datasets, , p.67

M. Glauer and ;. .. , Till Mossakowski Finite Limits and Anti-unification in Substitution Categories, vol.87

, Wolfram Kahl A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs

A. Knapp and M. Victoria-cengarle, Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories, Lars Fritsche, Nebras Nassar, Andy Schürr, and Gabriele Taentzer

.. .. Author-index,