Showing 1 - 2 results of 2 for search 'Barwell, AD', query time: 0.03s Refine Results
  1. 1
    CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C. Pierce

    CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C. Pierce by Barwell, AD, Ferreira, F, Yoshida, N

    Published 2021
    Journal article
  2. 2
    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

Search Tools: