Disciplined structured communications with disciplined runtime adaptation
A model of session communications with located and update processes. A type discipline that ensures absence of communication errors and consistent updates. Several examples of runtime adaptation in the typed process framework.
runtime adaptation types for structured communications session types process calculi adaptable processes