Top-down or bottom-up? complexity analyses of synchronous multiparty session types

Bibliographic Details
Main Authors: Yoshida, N, Udomsrirungruang, T
Format: Conference item
Language:English
Published: Association for Computing Machinery 2024