Top-down or bottom-up? complexity analyses of synchronous multiparty session types
Main Authors: | , |
---|---|
Format: | Conference item |
Language: | English |
Published: |
Association for Computing Machinery
2024
|
Main Authors: | , |
---|---|
Format: | Conference item |
Language: | English |
Published: |
Association for Computing Machinery
2024
|