Precise slicing of interprocedural concurrent programs.

Xiaofang Qi Zhenliang Jiang

Published in: Frontiers Comput. Sci. (2017)

Keyphrases

concurrent programs
concurrent programming
process algebra
database systems
real time
databases
web applications
mobile agents