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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Message passing is a fundamental element in software development, rangingfrom concurrent and mobile computing to distributed services, but it suffersfrom communication errors such as deadlocks. Session types are a typingdiscipline for enforcing safe structured interactions between multipleparticipants. However, each typed interaction is restricted to having one fixedsender and one fixed receiver. In this paper, we extend session types withexistential branching types, to handle a common interaction pattern withmultiple senders and a single receiver in a synchronized setting, i.e. areceiver is available to receive messages from multiple senders, and whichsender actually participates in the interaction cannot be determined tillexecution. We build the type system with existential branching types, whichretain the important properties induced by standard session types: type safety,progress (i.e. deadlock-freedom), and fidelity. We further provide a novelcommunication type system to guarantee progress of dynamically interleavedmultiparty sessions, by abandoning the strong restrictions of existing typesystems. Finally, we encode Rust multi-thread primitives in the extendedsession types to show its expressivity, which can be considered as an attemptto check the deadlock-freedom of Rust multi-thread programs.

Session Types With Multiple Senders Single Receiver (report version)