Author:
van Breugel Franck,Worrell James
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. R.B. Ash. Real Analysis and Probability, Academic Press, London, 1972.
2. F. Alessi, P. Baldan and G. Bellè. A Fixed-Point Theorem in a Category of Compact Metric Spaces. Theoretical Computer Science, 146(1/2):311–320, July 1995.
3. Electronic Notes in Theoretical Computer Science;C. Baier,1997
4. F. van Breugel and J. Worrell. An Algorithm for Quantitative Verification of Probabilistic Transition Systems. Report CS-2001-01, York University, Toronto, April 2001.
5. J. Desharnais, A. Edalat and P. Panangaden. A Logical Characterization of Bisimulation for Labelled Markov Processes. In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, pages 478–487, Indianapolis, 1988. IEEE.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Up-to techniques for behavioural metrics via fibrations;Mathematical Structures in Computer Science;2023-04
2. Structure in Machine Learning;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis;Quantitative Evaluation of Systems;2018
4. Symbolic Model Checking in Non-Boolean Domains;Handbook of Model Checking;2018
5. Logical Characterization of Trace Metrics;Electronic Proceedings in Theoretical Computer Science;2017-07-12