Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems.

Brahim Nasraoui, Riadh Robbana

Browse the full COMPSAC paper archive.