Session Types With Multiple Senders Single Receiver (report version)

Zekun Ji, Shuling Wang, Xiong Xu

Message passing is a fundamental element in software development, ranging from concurrent and mobile computing to distributed services, but it suffers from communication errors suc…