Journal: Electronic Notes in Theoretical Computer Science

Volume 203, Issue 6

1 -- 0Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange. Preface
3 -- 17Filippo Bonchi, Ugo Montanari. G-Reactive Systems as Coalgebras
19 -- 41Zinovy Diskin, Uwe Wolter. A Diagrammatic Logic for Object-Oriented Visual Modeling
43 -- 66Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
67 -- 88Ulrike Prange. Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories