Future-based Static Analysis of Message Passing Programs

Wytse Oortwijn, Stefan Blom, Marieke Huisman

Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software…