Automated Modeling of Message-Passing Programs. - Pankaj Mehra; Michelle Gower; Michael A. Bass (MASCOTS, 1994)