Arpit, Divya Kumar. Calculus of Concurrent Probabilistic Reversible Processes. In Proceedings of the 7th International Conference on Computer and Communication Technology, ICCCT-2017, Allahabad, India, November 24-26, 2017. pages 34-40, ACM, 2017. [doi]
Abstract is missing.