Publisher
Springer International Publishing
Reference22 articles.
1. Aman, B., Ciobanu, G.: Probabilities in session types. In: Marin, M., Craciun, A. (eds.) Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3–5 September 2019. EPTCS, vol. 303, pp. 92–106 (2019). https://doi.org/10.4204/EPTCS.303.7
2. Aman, B., Ciobanu, G.: Imprecise probability for multiparty session types in process algebra. CoRR abs/2002.08175 (2020)
3. Bernardo, M., De Nicola, R., Loreti, M.: Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1), 61–106 (2014). https://doi.org/10.1007/s00236-014-0210-1
4. Lecture Notes in Computer Science;L Bocchi,2010
5. de Campos, L.M., Huete, J.F., Moral, S.: Probability intervals: a tool for uncertain reasoning. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 2(2), 167–196 (1994). https://doi.org/10.1142/S0218488594000146
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献