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

Published in: ECOOP (2023)

Keyphrases

lessons learned
multi party
future directions
case study
privacy preserving
message transmission
object oriented
design science
grounded theory
secret sharing
turn taking
email
mental states
real world
human communication
participatory design
first order logic
cooperative
audio video
linear time temporal logic