Showing 1 - 2 results of 2 for search 'Vassor, M', query time: 0.02s Refine Results
  1. 1
    Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation

    Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation by Vassor, M, Yoshida, N

    Published 2024
    Conference item
  2. 2
    Deadlock-free asynchronous message reordering in rust with multiparty session types

    Deadlock-free asynchronous message reordering in rust with multiparty session types by Cutner, Z, Yoshida, N, Vassor, M

    Published 2022
    Conference item

Search Tools: