Symbolic predictive analysis for concurrent programs.

Chao Wang Sudipta Kundu Rhishikesh Limaye Malay K. Ganai Aarti Gupta

Published in: Formal Aspects Comput. (2011)

Keyphrases

concurrent programs
artificial intelligence
web services
web applications