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

Published in: CoRR (2023)

Keyphrases

lessons learned
multi party
case study
privacy preserving
future directions
participatory design
email
description language
grounded theory
message transmission
artificial intelligence
first order logic
audio video