Author:
Goncharov Sergey,Pattinson Dirk
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aceto, L., Ingolfsdottir, A., Sack, J.: Resource bisimilarity and graded bisimilarity coincide. Information Processing Letters 111(2), 68–76 (2010)
2. Lecture Notes in Computer Science;C. Baier,1997
3. Bartels, F., Sokolova, A., de Vink, E.: A hierarchy of probabilistic system types. In: Coalgebraic Methods in Computer Science. ENTCS, vol. 82. Elsevier (2003)
4. Brengos, T.: Weak bisimulation for coalgebras over order enriched monads (2013), http://arxiv.org/abs/1310.3656
5. Lecture Notes in Computer Science;F. Corradini,1999
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. A general account of coinduction up-to;Acta Informatica;2016-06-25