Extension and Restriction of Derivations in Adhesive Categories (ICGT 2024 - ICGT Research Papers)

Who

Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst

Track

ICGT 2024 ICGT Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 11 Jul 2024 11:30 - 12:00 at Waaier 1 - ICGT Session 4 Chair(s): Detlef Plump

Abstract

Extension and restriction of derivations are long-known operations in the framework of graph transformation. In this paper, we continue the study of extension and restriction on the higher level of the adhesive categories. A construction of extensions is provided by means of extension spans, and several properties of extensions are shown relating them, in particular, to restrictions.

Hans-Jörg KreowskiPresenter

University of Bremen

Germany

Aaron Lye

German Aerospace Center, Institute for the Protection of Maritime Infrastructures

Germany

Aljoscha Windhorst

University of Bremen

Germany

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 11 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	ICGT Session 4ICGT Research Papers at Waaier 1 Chair(s): Detlef Plump University of York

11:00 30m Talk		A Bigraph Paper of Sorts ICGT Research Papers P: Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
11:30 30m Talk		Extension and Restriction of Derivations in Adhesive Categories ICGT Research Papers P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen
12:00 30m Talk		Generalized Weighted Type Graphs for Termination of Graph Transformation Systems ICGT Research Papers Joerg Endrullis Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam