Author:
Sangiorgi Davide,Rutten Jan
Publisher
Cambridge University Press
Cited by
31 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. Quantitative Programming and Continuous-Time Markov Chains;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
3. Up-to techniques for behavioural metrics via fibrations;Mathematical Structures in Computer Science;2023-04
4. Deciding Contextual Equivalence of $$\nu $$-Calculus with Effectful Contexts;Lecture Notes in Computer Science;2023
5. Quantitative Programming and Markov Decision Processes;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09