Inference of progress properties for multi-party sessions

Mario Coppo, University of Torino, Italy

In this talk we will introduce a syntax directed deterministic inference procedure to check causalities of channels in dynamically merged and interfered multiparty sessions, ensuring that the entire protocol, starting from the high-level processes which consist of multiple sessions, does not get stuck at intermediate sessions (progress).