Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.

Lorenzo Gheri Ivan Lanese Neil Sayers Emilio Tuosto Nobuko Yoshida

Published in: CoRR (2022)

Keyphrases

multi party
secret sharing
manufacturing cell
web services
design process
software architecture
human communication