Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday (Q2388714)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Baldan, Paolo; Corradini, Andrea}, On the concurrent semantics of algebraic graph grammars, 3-23 [Zbl 1075.68037] \textit{Baresi, Luciano; Pezzè, Mauro}, From graph transformation to software engineering and back, 24-37 [Zbl 1075.68566] \textit{Engels, Gregor; Heckel, Reiko; Cherchago, Alexey}, Flexible interconnection of graph transformation modules, 38-63 [Zbl 1075.68568] \textit{Ermel, Claudia; Taentzer, Gabriele; Bardohl, Roswitha}, Simulating algebraic high-level nets by parallel attributed graph transformation, 64-83 [Zbl 1075.68057] \textit{Gadducci, Fabio; Montanari, Ugo}, Graph processes with fusions: Concurrency by colimits, again, 84-100 [Zbl 1075.68058] Bibliography of Hartmut Ehrig, xi-xxvii [Zbl 1075.68500] \textit{Hoffmann, Berthold}, Graph transformation with variables, 101-115 [Zbl 1075.68039] \textit{Rosselló, Francesc; Valiente, Gabriel}, Graph transformation in molecular biology, 116-133 [Zbl 1075.68610] \textit{Schneider, Hans J.}, Changing labels in the double-pushout approach can be treated categorically, 134-149 [Zbl 1075.68043] \textit{Arbib, Michael A.}, Modules, brains and schemas, 153-166 [Zbl 1075.68629] \textit{Astesiano, Egidio; Reggio, Gianna}, From conditional specifications to interaction charts. A journey from formal to visual means to model behaviour., 167-189 [Zbl 1075.68613] \textit{Löwe, Michael; König, Harald; Schulz, Christoph}, Algebraic properties of interfaces, 190-203 [Zbl 1075.68054] \textit{Mahr, Bernd; Bab, Sebastian}, \(\in_T\)-integration of logics, 204-219 [Zbl 1075.03013] \textit{Meseguer, José}, Functorial semantics of rewrite theories, 220-235 [Zbl 1075.68042] \textit{Padawitz, Peter}, Expander2. Towards a workbench for interactive formal reasoning., 236-258 [Zbl 1075.68617] \textit{Wagner, Eric G.}, Relationships between equational and inductive data types, 259-274 [Zbl 1075.68055] \textit{Wolter, Uwe}, Cofree coalgebras for signature morphisms, 275-290 [Zbl 1075.68056] \textit{Habel, Annegret; Pennemann, Karl-Heinz}, Nested constraints and application conditions for high-level structures, 293-308 [Zbl 1075.68623] \textit{Harel, David; Kugler, Hillel; Pnueli, Amir}, Synthesis revisited: Generating statechart models from scenario-based requirements, 309-324 [Zbl 1075.68614] \textit{Janssens, Dirk; Kreowski, Hans-Jörg; Rozenberg, Grzegorz}, Main concepts of networks of transformation units with interlinking semantics, 325-342 [Zbl 1075.68041] \textit{Milner, Robin}, Embeddings and contexts for link graphs, 343-351 [Zbl 1076.68045] \textit{Orejas, Fernando; Pérez, Sonia}, Towards architectural connectors for UML, 352-369 [Zbl 1075.68569] \textit{Padberg, Julia; Kreowski, Hans-Jörg}, Loose semantics of Petri nets, 370-384 [Zbl 1075.68059] \textit{Ribeiro, Leila; Dotti, Fernando Luís; Bardohl, Roswitha}, A formal framework for the development of concurrent object-based systems, 385-401 [Zbl 1075.68621] \textit{Schnieder, Eckehard; Müller, Jörg R.}, A formal description of the basic concepts of system theory for transportation, 402-411 [Zbl 1075.68622]