Implementing Binary Search Trees in GP2 (Work in Progress) (GCM 2025 - ) - STAF 2025

Tue 10 - Fri 13 June 2025 Koblenz, Germany

Who

Detlef Plump, Ziad Ismaili Alaoui

Track

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

When

Tue 10 Jun 2025 11:00 - 11:30 at M 201 - GCM Session 1: Bisimulation Checking, Binary Search Trees, Model Synchronization Chair(s): Jens Kosiol

File attachments

(STAF_2025_paper_96.pdf)	193KiB

Detlef Plump

University of York

United Kingdom

Ziad Ismaili Alaoui

University of Liverpool

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

Session Program

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:00 - 12:30	GCM Session 1: Bisimulation Checking, Binary Search Trees, Model SynchronizationGCM at M 201 Chair(s): Jens Kosiol Philipps-Universität Marburg

	11:00 30m Paper		Implementing Binary Search Trees in GP2 (Work in Progress) GCM Detlef Plump University of York, Ziad Ismaili Alaoui University of Liverpool File Attached
	11:30 30m Paper		Comparing Synchronization Blocks with Double Pushout Synchronization GCM Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany File Attached
	12:00 30m Paper		Introducing The Maximum Common Bigraph Problem GCM Kyle Burns University of Glasgow, Michele Sevegnani University of Glasgow, James Trimble University of Glasgow, Ciaran Mcreesh File Attached