Undecidability of asynchronous session subtyping

Session types are used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicating processes. We investigate the (un)decidability of subtyping for session types in asynchronously communicating system...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and computation 2017-10, Vol.256, p.300-320
Hauptverfasser:	Bravetti, Mario, Carbone, Marco, Zavattaro, Gianluigi
Format:	Artikel
Sprache:	eng
Schlagworte:	Computation and Language Computer Science Queue machines Session types Subtyping Undecidability
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!