Bounded Phase Analysis of Message-Passing Programs.

Ahmed Bouajjani, Michael Emmi

Browse the full TACAS paper archive.