Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

Detlef  Plump; Ivaylo Hristakiev

doi:10.1007/978-3-319-50230-4_11

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

Detlef Plump, Ivaylo Hristakiev

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Software Technologies: Applications and Foundations
Subtitle of host publication	STAF 2016 Collocated Workshops, Revised Selected Papers
Editors	Paolo Milazzo, Manuel Wimmer, Dániel Varró
Publisher	Springer
Pages	145-160
Number of pages	16
Volume	9946
ISBN (Electronic)	978-3-319-50230-4
ISBN (Print)	978-3-319-50229-8
DOIs	https://doi.org/10.1007/978-3-319-50230-4_11
Publication status	Published - 3 Dec 2016

Publication series

Name	Lecture Notes in Computer Science
Volume	9946
ISSN (Print)	0302-9743

Bibliographical note

© 2016, Springer. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Access to Document

10.1007/978-3-319-50230-4_11

HristakievPlump.GCM16
© 2016, Springer. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Accepted author manuscript, 315 KBLicence: Unspecified

http://www.cs.york.ac.uk/plasma/publications/pdf/HristakievPlump.GCM16.pdfLicence: Unspecified

Cite this

Plump, D., & Hristakiev, I. (2016). Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. In P. Milazzo, M. Wimmer, & D. Varró (Eds.), Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers (Vol. 9946, pp. 145-160). (Lecture Notes in Computer Science; Vol. 9946). Springer. https://doi.org/10.1007/978-3-319-50230-4_11

@inproceedings{f45e1b06b1f342da813d5a91d51a8a64,

title = "Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem",

author = "Detlef Plump and Ivaylo Hristakiev",

note = "{\textcopyright} 2016, Springer. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details",

year = "2016",

month = dec,

day = "3",

doi = "10.1007/978-3-319-50230-4_11",

language = "English",

isbn = "978-3-319-50229-8",

volume = "9946",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "145--160",

editor = "Milazzo, {Paolo } and Wimmer, {Manuel } and Varr{\'o}, {D{\'a}niel }",

booktitle = "Software Technologies: Applications and Foundations",

address = "Germany",

}

Plump, D & Hristakiev, I 2016, Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. in P Milazzo, M Wimmer & D Varró (eds), Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. vol. 9946, Lecture Notes in Computer Science, vol. 9946, Springer, pp. 145-160. https://doi.org/10.1007/978-3-319-50230-4_11

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. / Plump, Detlef ; Hristakiev, Ivaylo.
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. ed. / Paolo Milazzo; Manuel Wimmer; Dániel Varró. Vol. 9946 Springer, 2016. p. 145-160 (Lecture Notes in Computer Science; Vol. 9946).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Attributed Graph Transformation via Rule Schemata

T2 - Church-Rosser Theorem

AU - Plump, Detlef

AU - Hristakiev, Ivaylo

N1 - © 2016, Springer. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

PY - 2016/12/3

Y1 - 2016/12/3

U2 - 10.1007/978-3-319-50230-4_11

DO - 10.1007/978-3-319-50230-4_11

M3 - Conference contribution

SN - 978-3-319-50229-8

VL - 9946

T3 - Lecture Notes in Computer Science

SP - 145

EP - 160

BT - Software Technologies: Applications and Foundations

A2 - Milazzo, Paolo

A2 - Wimmer, Manuel

A2 - Varró, Dániel

PB - Springer

ER -