Confluence up to garbage in graph transformation

Campbell, Graham and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) Confluence up to garbage in graph transformation. Theoretical Computer Science. pp. 1-22. ISSN 0304-3975

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2021 The Author(s).
Dates:
  • Published (online): 7 September 2021
  • Published: 7 September 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: 09 Jul 2021 13:00
Last Modified: 29 Oct 2021 23:45
Published Version: https://doi.org/10.1016/j.tcs.2021.06.010
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.tcs.2021.06.010

Downloads

Filename: 1_s2.0_S0304397521003546_main.pdf

Description: Confluence up to garbage in graph transformation

Licence: CC-BY 2.5

Filename: CampbellPlump.TCS.21.pdf

Description: CampbellPlump.TCS.21

Licence: CC-BY 2.5

Share / Export

Statistics