Abstract is missing.
- On the Concurrent Semantics of Algebraic Graph GrammarsPaolo Baldan, Andrea Corradini. 3-23 [doi]
- From Graph Transformation to Software Engineering and BackLuciano Baresi, Mauro Pezzè. 24-37 [doi]
- Flexible Interconnection of Graph Transformation ModulesGregor Engels, Reiko Heckel, Alexey Cherchago. 38-63 [doi]
- Simulating Algebraic High-Level Nets by Parallel Attributed Graph TransformationClaudia Ermel, Gabriele Taentzer, Roswitha Bardohl. 64-83 [doi]
- Graph Processes with Fusions: Concurrency by Colimits, AgainFabio Gadducci, Ugo Montanari. 84-100 [doi]
- Graph Transformation with VariablesBerthold Hoffmann. 101-115 [doi]
- Graph Transformation in Molecular BiologyFrancesc Rosselló, Gabriel Valiente. 116-133 [doi]
- Changing Labels in the Double-Pushout Approach Can Be Treated CategoricallyHans Jürgen Schneider. 134-149 [doi]
- Modules, Brains and SchemasMichael A. Arbib. 153-166 [doi]
- From Conditional Specifications to Interaction ChartsEgidio Astesiano, Gianna Reggio. 167-189 [doi]
- Algebraic Properties of InterfacesMichael Löwe, Harald König, Christoph Schulz. 190-203 [doi]
- in::T::-Integration of LogicsBernd Mahr, Sebastian Bab. 204-219 [doi]
- Functorial Semantics of Rewrite TheoriesJosé Meseguer. 220-235 [doi]
- Expander2Peter Padawitz. 236-258 [doi]
- Relationships Between Equational and Inductive Data TypesEric G. Wagner. 259-274 [doi]
- Cofree Coalgebras for Signature MorphismsUwe Wolter. 275-290 [doi]
- Nested Constraints and Application Conditions for High-Level StructuresAnnegret Habel, Karl-Heinz Pennemann. 293-308 [doi]
- Synthesis Revisited: Generating Statechart Models from Scenario-Based RequirementsDavid Harel, Hillel Kugler, Amir Pnueli. 309-324 [doi]
- Main Concepts of Networks of Transformation Units with Interlinking SemanticsDirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg. 325-342 [doi]
- Embeddings and Contexts for Link GraphsRobin Milner. 343-351 [doi]
- Towards Architectural Connectors for UMLFernando Orejas, Sonia Pérez. 352-369 [doi]
- Loose Semantics of Petri NetsJulia Padberg, Hans-Jörg Kreowski. 370-384 [doi]
- A Formal Framework for the Development of Concurrent Object-Based SystemsLeila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl. 385-401 [doi]
- A Formal Description of the Basic Concepts of System Theory for TransportationEckehard Schnieder, Jörg R. Müller. 402-411 [doi]