Author:
Bruni Roberto,Gadducci Fabio,Montanari Ugo,Sobociński Paweł
Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Relational presheaves, change of base and weak simulation;Journal of Computer and System Sciences;2015-08
2. Weak CCP bisimilarity with strong procedures;Science of Computer Programming;2015-03
3. A General Theory of Barbs, Contexts, and Labels;ACM Transactions on Computational Logic;2014-08
4. Reducing Weak to Strong Bisimilarity in CCP;Electronic Proceedings in Theoretical Computer Science;2012-12-14
5. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10