Bounded phase analysis of message-passing programs (2012)

by Ahmed Bouajjani, Michael Emmi
Venue:In Proceedings of TACAS, LNCS 7214