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

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]