Works matching IS 00015903 AND DT 2017 AND VI 54 AND IP 3

Results: 2
    1
    2

    Multiparty session types as coherence proofs.

    Published in:
    Acta Informatica, 2017, v. 54, n. 3, p. 243, doi. 10.1007/s00236-016-0285-y
    By:
    • Carbone, Marco;
    • Montesi, Fabrizio;
    • Schürmann, Carsten;
    • Yoshida, Nobuko
    Publication type:
    Article