60. Birthday: Hartmut Ehrig, 2005

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393 Springer 2005, ISBN 3-540-24936-2

Graph Transformation

Paolo Baldan, Andrea Corradini:
On the Concurrent Semantics of Algebraic Graph Grammars. 3-23
Luciano Baresi, Mauro Pezzè:
From Graph Transformation to Software Engineering and Back. 24-37
Gregor Engels, Reiko Heckel, Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules. 38-63
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl:
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. 64-83
Fabio Gadducci, Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again. 84-100
Berthold Hoffmann:
Graph Transformation with Variables. 101-115
Francesc Rosselló, Gabriel Valiente:
Graph Transformation in Molecular Biology. 116-133
Hans Jürgen Schneider:
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. 134-149

Michael A. Arbib:
Modules, Brains and Schemas. 153-166
Egidio Astesiano, Gianna Reggio:
From Conditional Specifications to Interaction Charts. 167-189
Michael Löwe, Harald König, Christoph Schulz:
Algebraic Properties of Interfaces. 190-203
Bernd Mahr, Sebastian Bab:
in_T-Integration of Logics. 204-219
José Meseguer:
Functorial Semantics of Rewrite Theories. 220-235
Peter Padawitz:
Expander2. 236-258
Eric G. Wagner:
Relationships Between Equational and Inductive Data Types. 259-274
Uwe Wolter:
Cofree Coalgebras for Signature Morphisms. 275-290

Annegret Habel, Karl-Heinz Pennemann:
Nested Constraints and Application Conditions for High-Level Structures. 293-308
David Harel, Hillel Kugler, Amir Pnueli:
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. 309-324
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Main Concepts of Networks of Transformation Units with Interlinking Semantics. 325-342
Robin Milner:
Embeddings and Contexts for Link Graphs. 343-351
Fernando Orejas, Sonia Pérez:
Towards Architectural Connectors for UML. 352-369
Julia Padberg, Hans-Jörg Kreowski:
Loose Semantics of Petri Nets. 370-384
Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl:
A Formal Framework for the Development of Concurrent Object-Based Systems. 385-401
Eckehard Schnieder, Jörg R. Müller:
A Formal Description of the Basic Concepts of System Theory for Transportation. 402-411

Last update Sat May 18 18:10:32 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page