Author:
Kaminski Benjamin Lucien,Katoen Joost-Pieter
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Kozen, D.: Semantics of Probabilistic Programs. J. Comput. Syst. Sci. 22(3), 328–350 (1981)
2. Barthe, G., Köpf, B., Olmedo, F., Béguelin, S.Z.: Probabilistic relational reasoning for differential privacy. ACM Trans. Program. Lang. Syst. 35(3), 9 (2013)
3. Borgström, J., Gordon, A., Greenberg, M., Margetson, J., van Gael, J.: Measure transformer semantics for Bayesian machine learning. LMCS 9(3), 1–39 (2013). Paper Number 11
4. McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, New York (2004)
5. Gretz, F., Katoen, J.P., McIver, A.: Operational versus weakest pre-expectation semantics for the probabilistic guarded command language. Perform. Eval. 73, 110–132 (2014)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献