Author:
Bruni Roberto,Corradini Andrea,Gadducci Fabio,Lluch Lafuente Alberto,Montanari Ugo
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. Information and Computation 206(7), 869–907 (2008)
2. Lecture Notes in Computer Science;H. Barendregt,1987
3. Lecture Notes in Computer Science;M. Boreale,2008
4. Bruni, R., Gadducci, F., Montanari, U.: Normal forms for algebras of connections. Theoretical Computer Science 286, 247–292 (2002)
5. Bruni, R., Corradini, A., Montanari, U.: Modeling a service and session calculus with hierarchical graph transformation (2010) (submitted)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献