Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version).

Paul Harvey Simon Fowler Ornela Dardha Simon J. Gay

Published in: CoRR (2021)

Keyphrases

multi party
privacy preserving
human communication
programming language
adaptation strategies
secret sharing
turn taking
natural language
language learning
description language
source code
dynamic environments