Author:
Liu Jingzhou,Chen Yuting,Li Chen,Zhao Jianjun
Funder
National Basic Research Program of China (973 Program)
National Natural Science Foundation of China
Reference35 articles.
1. Trustworthy computing. Microsoft white paper. http: //www.microsoft.com/mscorp/twc/default.mspx./, 2002.
2. A. Anjorin, K. Saller, M. Lochau, and A. Schürr. Modularizing triple graph grammars using rule refinement. In FASE, pages 340–354, 2014.
3. P. Baldan, A. Corradini, F. Gadducci, and U. Montanari. From petri nets to graph transformation systems. ECEASST, 26, 2010.
4. P. Baldan, A. Corradini, and U. Montanari. Relating spo and dpo graph rewriting with petri nets having read, inhibitor and reset arcs. Electr. Notes Theor. Comput. Sci., 127(2):5–28, 2005.
5. C. Bockisch, A. Sewe, M. Mezini, and M. Aksit. An overview of alia4j: An execution model for advanced-dispatching languages. In J. Bishop and A. Vallecillo, editors, Objects, Models, Components, Patterns, Lecture Notes In Computer Science, pages 131–146, Berlin, Germany, 2011. Springer Verlag.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献