Showing 1 - 2 results of 2 for search 'Scalas, A', query time: 0.02s Refine Results
  1. 1
    Generalised multiparty session types with crash-stop failures

    Generalised multiparty session types with crash-stop failures by Barwell, AD, Scalas, A, Yoshida, N, Zhou, F

    Published 2022
    Conference item
  2. 2
    Precise subtyping for asynchronous multiparty sessions

    Precise subtyping for asynchronous multiparty sessions by Ghilezan, S, Pantović, J, Prokić, I, Scalas, A, Yoshida, N

    Published 2022
    Journal article

Search Tools: