Session Types With Multiple Senders Single Receiver (report version)

Message passing is a fundamental element in software development, ranging from concurrent and mobile computing to distributed services, but it suffers from communication errors such as deadlocks. Session types are a typing discipline for enforcing safe structured interactions between multiple partic...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2023-10
Hauptverfasser:	Ji, Zekun, Wang, Shuling, Xu, Xiong
Format:	Artikel
Sprache:	eng
Schlagworte:	Message passing Mobile computing Software development
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!