Showing 1 - 2 results of 2 for search 'Udomsrirungruang, T', query time: 0.02s Refine Results
  1. 1
    Three subtyping algorithms for binary session types and their complexity analyses

    Three subtyping algorithms for binary session types and their complexity analyses by Udomsrirungruang, T, Yoshida, N

    Published 2024
    Conference item
  2. 2
    Top-down or bottom-up? complexity analyses of synchronous multiparty session types

    Top-down or bottom-up? complexity analyses of synchronous multiparty session types by Yoshida, N, Udomsrirungruang, T

    Published 2024
    Conference item

Search Tools: