Generalised Multiparty Session Types with Crash-Stop Failures.

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

Browse the full CONCUR paper archive.