You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Modeling of a sophisticated renovation house service, aiming to streamline the coordination of different workers through APIs and ensure effective communication with clients upon job completion
This repository implements the prototype described in the article: "A trustworthy decentralized change propagation mechanism for declarative choreographies"