Author:
Baldan Paolo,Corradini Andrea,Heindel Tobias,König Barbara,Sobociński Paweł
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Baldan, P.: Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars. PhD thesis, Dipartimento di Informatica, Università di Pisa (2000)
2. Lecture Notes in Computer Science;P. Baldan,2006
3. Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. Information and Computation 206, 869–907 (2008)
4. Baldan, P., Corradini, A., Montanari, U., Ribeiro, L.: Unfolding Semantics of Graph Transformation. Information and Computation 205, 733–782 (2007)
5. Lecture Notes in Computer Science;P. Baldan,2008
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tracelets and Tracelet Analysis Of Compositional Rewriting Systems;Electronic Proceedings in Theoretical Computer Science;2020-09-15
2. Unfolding Symbolic Attributed Graph Grammars;Graph Transformation;2020
3. Unfolding Graph Grammars with Negative Application Conditions;Graph Transformation;2019
4. Hybrid adaptation policies;Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems;2018-05-28
5. Processes and unfoldings: concurrent computations in adhesive categories;Mathematical Structures in Computer Science;2014-06-26