Showing 1 - 1 results of 1 for search 'Zavattaro, G', query time: 0.02s Refine Results
  1. 1
    A sound algorithm for asynchronous session subtyping and its implementation

    A sound algorithm for asynchronous session subtyping and its implementation by Bravetti, M, Carbone, M, Lange, J, Yoshida, N, Zavattaro, G

    Published 2021
    Journal article

Search Tools: