Composition and Decomposition of DPO Transformations with Borrowed Context-Reference-Cited by-同舟云学术

Composition and Decomposition of DPO Transformations with Borrowed Context

Published:2006 Issue: Volume: Page:153-167
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baldan Paolo,Ehrig Hartmut,König Barbara

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11841883_12.pdf

Reference12 articles.

1. Baldan, P., Ehrig, H., König, B.: Composition and decomposition of DPO transformations with borrowed contexts. Technical report, Universität Duisburg-Essen (2006)

2. Studies in Logic and Foundations of Mathematics;H.P. Barendregt,1984

3. Lecture Notes in Computer Science;F. Bonchi,2006

4. Lecture Notes in Computer Science;L. Cardelli,1998

5. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation—part I: Basic concepts and double pushout approach, ch. 3. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1. World Scientific, Singapore (1997)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Graph Rewriting Components;Graph Transformation;2022

2. RPO semantics for mobile ambients;Mathematical Structures in Computer Science;2014-06-26

3. Generalised Compositionality in Graph Transformation;Lecture Notes in Computer Science;2012

4. Compositionality in Graph Transformation;Automata, Languages and Programming;2010

5. The Edge of Graph Transformation — Graphs for Behavioural Specification;Lecture Notes in Computer Science;2010