Refjav: tool for automated verification by generating CCS of multithreaded Java system in distributed environment. - Arpit; Ashwini Kumar (ACAI, 2011)

Automata for Modeling the Distributed Probabilistic Reversible Processes. - Arpit; Afza Bt Shafie; Wan Fatimah Wan Ahmad (ICAA, 2014)

Calculus of Concurrent Probabilistic Reversible Processes. - Arpit; Divya Kumar (ICCCT, 2017)