Transformation and Refinement of Rigid Structures-Reference-Cited by-同舟云学术

Transformation and Refinement of Rigid Structures

Published:2014 Issue: Volume: Page:146-160
ISSN:0302-9743
Container-title:Graph Transformation
language:
Short-container-title:

Author:

Danos Vincent,Heckel Reiko,Sobocinski Pawel

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-09108-2_10

Reference18 articles.

1. Carboni, A., Lack, S., Walters, R.: Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra 84, 145–158 (1993)

2. Danos, V., Harmer, R., Winskel, G.: Constraining rule-based dynamics with types. Mathematical Structures in Computer Science 23(2), 272–289 (2013)

3. Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C.D., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: FSTTCS. LIPIcs, vol. 18, pp. 276–288 (2012)

4. Lecture Notes in Computer Science;V. Danos,2007

5. Lecture Notes in Computer Science;V. Danos,2007

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

1. On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods;Electronic Proceedings in Theoretical Computer Science;2021-02-08

2. Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping;Electronic Proceedings in Theoretical Computer Science;2020-12-03

3. Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics;Graph Transformation;2020

4. Incremental Update for Graph Rewriting;Programming Languages and Systems;2017