Design-By-Contract for Flexible Multiparty Session Protocols.

Lorenzo Gheri Ivan Lanese Neil Sayers Emilio Tuosto Nobuko Yoshida

Published in: ECOOP (2022)

Keyphrases

multi party
privacy preserving
case study
software architecture
design process
user interface
manufacturing cell