Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;P. Aczel,1989
2. Arbib, M.A., Manes, E.G.: Arrows, Structures, and Functors: the categorical imperative. Academic Press, London (1975)
3. Barr, M.: Terminal coalgebras in well-founded set theory. Theoretical Computer Science 114(2), 299–315 (1993)
4. van Breugel, F.: A behavioural pseudometric for metric labelled transition systems. Technical Report CS-2005-11, York University (2005)
5. Lecture Notes in Computer Science;F. van Breugel,2005
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A framework to measure the robustness of programs in the unpredictable environment;Logical Methods in Computer Science;2023-07-07
2. How Adaptive and Reliable is Your Program?;Formal Techniques for Distributed Objects, Components, and Systems;2021
3. A Quantified Coalgebraic van Benthem Theorem;Lecture Notes in Computer Science;2021
4. Measuring Adaptability and Reliability of Large Scale Systems;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
5. Logical Characterization of Trace Metrics;Electronic Proceedings in Theoretical Computer Science;2017-07-12