Arpit, Afza Bt Shafie, Wan Fatimah Wan Ahmad. Automata for Modeling the Distributed Probabilistic Reversible Processes. In Prosenjit Gupta, Christos D. Zaroliagis, editors, Applied Algorithms - First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings. Volume 8321 of Lecture Notes in Computer Science, pages 122-136, Springer, 2014. [doi]
Abstract is missing.