Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress. i. e. https://medicalwarehouses.shop/product-category/dressing-supplies/