researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Electronic Notes in Theoretical Computer Science
Home
Index
Info
Issue
Volume
203
, Issue
6
1
--
0
Hartmut Ehrig
,
Jochen Pfalzgraf
,
Ulrike Prange
.
Preface
3
--
17
Filippo Bonchi
,
Ugo Montanari
.
G-Reactive Systems as Coalgebras
19
--
41
Zinovy Diskin
,
Uwe Wolter
.
A Diagrammatic Logic for Object-Oriented Visual Modeling
43
--
66
Leen Lambers
,
Hartmut Ehrig
,
Ulrike Prange
,
Fernando Orejas
.
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
67
--
88
Ulrike Prange
.
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories