Author:
Sangiorgi Davide,Rutten Jan
Publisher
Cambridge University Press
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems;2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT);2023-10-13
2. Up-to techniques for behavioural metrics via fibrations;Mathematical Structures in Computer Science;2023-04
3. Deciding Contextual Equivalence of $$\nu $$-Calculus with Effectful Contexts;Lecture Notes in Computer Science;2023
4. Quantitative Programming and Markov Decision Processes;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09
5. Codensity Games for Bisimilarity;New Generation Computing;2022-07