Author:
Bonchi Filippo,Gadducci Fabio,Kissinger Aleks,Sobociński Paweł,Zanasi Fabio
Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. Baez, J., Erbele, J.: Categories in control. Theory Appl. Categ. 30, 836–881 (2015)
2. Lecture Notes in Computer Science;P Baldan,2011
3. Bauer, G., Otto, F.: Finite complete rewriting systems and the complexity of the word problem. Acta Inform. 21(5), 521–540 (1984)
4. Bonchi, F., Gadducci, F., Kissinger, A., Sobociński, P., Zanasi, F.: Rewriting modulo symmetric monoidal structure. In: LiCS 2016, pp. 710–719. ACM (2016)
5. Bonchi, F., Gadducci, F., König, B.: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1), 14–40 (2009)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献