English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In recent work, we have developed a session types discipline for a calculusthat features the usual constructs for session establishment and communication,but also two novel constructs that enable communicating processes to bestopped, duplicated, or discarded at runtime. The aim is to understand whetherknown techniques for the static analysis of structured communications scale upto the challenging context of context-aware, adaptable distributed systems, inwhich disciplined interaction and runtime adaptation are intertwined concerns.In this short note, we summarize the main features of our session-typedframework with runtime adaptation, and recall its basic correctness properties.We illustrate our framework by means of examples. In particular, we present asession representation of supervision trees, a mechanism for enforcingfault-tolerant applications in the Erlang language.

Session Types with Runtime Adaptation: Overview and Examples