Publisher
Springer Nature Switzerland
Reference22 articles.
1. ANTLR - another tool for language recognition. https://www.antlr.org/
2. Prism documentation. https://www.prismmodelchecker.org/. Accessed 05 Sep 2023
3. Repository. https://github.com/adeleveschetti/ChoreoPRISM, Accessed 31 Jan 2024
4. 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
5. Aman, B., Ciobanu, G.: Interval probability for sessions types. In: Ciabattoni, A., Pimentel, E., de Queiroz, R.J.G.B. (eds.) Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iaşi, Romania, September 20-23, 2022, Proceedings. LNCS, vol. 13468, pp. 123–140. Springer, Cham (2022).https://doi.org/10.1007/978-3-031-15298-6_8