Arpit

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Concurrent Programs

Physical Processes

Context Sensitive

Cellular Automata

Top Venues

Publications

Arpit, Divya Kumar
Calculus of Concurrent Probabilistic Reversible Processes. ICCCT (2017)
Arpit, Afza Bt Shafie, Wan Fatimah Wan Ahmad
Automata for Modeling the Distributed Probabilistic Reversible Processes. ICAA (2014)
Arpit, Ashwini Kumar
Refjav: tool for automated verification by generating CCS of multithreaded Java system in distributed environment. ACAI (2011)