1 paper
Marco Carbone, Luis Cruz-Filipe, Fabrizio Montesi +1
We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typi…