Abstract is missing.
- Role-Based Development of Dynamically Evolving EsemblesRolf Hennicker. 3-24 [doi]
- Parameterized Strategies Specification in MaudeRubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. 27-44 [doi]
- An Algebraic Theory for Data LinkageLiang-Ting Chen, Markus Roggenbach, John V. Tucker. 47-66 [doi]
- Institutions for SQL Database Schemas and DatasetsMartin Glauer, Till Mossakowski. 67-86 [doi]
- Finite Limits and Anti-unification in Substitution CategoriesWolfram Kahl. 87-102 [doi]
- A Flexible Categorial Formalisation of Term Graphs as Directed HypergraphsWolfram Kahl, Yuhang Zhao. 103-118 [doi]
- Term ChartersAlexander Knapp, María Victoria Cengarle. 119-138 [doi]
- Constructing Constraint-Preserving Interaction Schemes in Adhesive CategoriesJens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer. 139-153 [doi]
- Structuring Theories with Implicit MorphismsFlorian Rabe, Dennis Müller 0001. 154-173 [doi]