Automated Modeling of Message-Passing Programs.

Pankaj Mehra, Michelle Gower, Michael A. Bass

Browse the full MASCOTS paper archive.