Arpit

According to our database, Arpit authored at least 3 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Calculus of Concurrent Probabilistic Reversible Processes.

Arpit, Divya Kumar

Proceedings of the 7th International Conference on Computer and Communication Technology, 2017

2014

Automata for Modeling the Distributed Probabilistic Reversible Processes.

Arpit, Afza Bt Shafie, Wan Fatimah Wan Ahmad

Proceedings of the Applied Algorithms - First International Conference, 2014

2011

Refjav: tool for automated verification by generating CCS of multithreaded Java system in distributed environment.

Arpit, Ashwini Kumar

Proceedings of the International Conference on Advances in Computing and Artificial Intelligence, 2011