Documents Shared Variables Interaction Diagrams Radu Grosu State University of New York at Stony Brook joint.....

Shared Variables Interaction Diagrams Radu Grosu State University of New York at Stony Brook joint work with Rajeev Alur University of Pennsylvania Motivation Scenario-based…