Implementing Linking in Multiparty Sessions (Extended Abstract)
Hanwen Wu, Hongwei Xi

TL;DR
This paper introduces a novel implementation of linking in multiparty session types based on linear multirole logic, including new concepts like two-way and three-way linking, enhancing communication protocols in service-oriented programming.
Contribution
It generalizes linear logic to multirole logic, formulates a multiparty session type system, and implements advanced linking mechanisms for multiparty sessions in shared memory.
Findings
Developed a multiparty session type system based on LMRL.
Implemented linking mechanisms including two-way and three-way linking.
Linked multiple channels in multiparty sessions effectively.
Abstract
The fast growth of service-oriented programming (SOP) is evident in this day and age of the Internet, and handling communication is of paramount importance in SOP. Session types are a formalism that is proposed to specify interactions between communicating processes. In essence, a session type system is a kind of type system designed to enforce (through type-checking) that the involved processes communicate according to a chosen protocol specified as a session type. It is well-known that linear logic plays a pivotal role in the study of session types. For instance, various inference rules in linear logic can be interpreted as ways for constructing channels (used by communicating processes to send/receive messages.) A particularly interesting case is the cut-rule in linear logic, which can be interpreted as a way for connecting the ends of two matching channels to form a single new…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Parallel Computing and Optimization Techniques
