A Small-Step Operational Semantics for GP 2

Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) A Small-Step Operational Semantics for GP 2. In: Hofmann, Berthold and Minas, Mark, (eds.) Graph Computation Models (GCM 2021), Revised Selected Papers. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, 89–110.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Hofmann, Berthold
  • Minas, Mark
Dates:
  • Accepted: 4 October 2021
  • Published: 21 December 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 04 Jan 2022 16:50
Last Modified: 20 Sep 2025 02:42
Published Version: https://doi.org/10.4204/EPTCS.350.6
Status: Published
Publisher: Open Publishing Association
Series Name: Electronic Proceedings in Theoretical Computer Science
Identification Number: 10.4204/EPTCS.350.6
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: GP2_Semantics.pdf

Description: GP2_Semantics

CLICK TO DOWNLOAD [thumbnail of GP2_Semantics]

Export

Statistics


CORE (COnnecting REpositories)