1 paper · 1 filter
Kai Pischke, Jake Masters, Nobuko Yoshida
Asynchronous multiparty session types are a type-based framework which ensure the compatibility of components in a distributed system by checking compliance against a specified glo…