Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.

Felix Stutz

Browse the full ECOOP paper archive.