Works matching IS 09601295 AND DT 2016 AND VI 26 AND IP 3

Results: 6
    1

    Observable interface behaviour and inheritance.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 561, doi. 10.1017/S0960129514000255
    By:
    • ÁBRAHÁM, ERIKA;
    • TRAN, THI MAI THUONG;
    • STEFFEN, MARTIN
    Publication type:
    Article
    2

    Modelling session types using contracts.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 510, doi. 10.1017/S0960129514000243
    By:
    • BERNARDI, GIOVANNI;
    • HENNESSY, MATTHEW
    Publication type:
    Article
    3

    An extensible approach to session polymorphism.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 465, doi. 10.1017/S0960129514000231
    By:
    • GOTO, MATTHEW;
    • JAGADEESAN, RADHA;
    • JEFFREY, ALAN;
    • PITCHER, CORIN;
    • RIELY, JAMES
    Publication type:
    Article
    4
    5

    Linear logic propositions as session types.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 367, doi. 10.1017/S0960129514000218
    By:
    • CAIRES, LUÍS;
    • PFENNING, FRANK;
    • TONINHO, BERNARDO
    Publication type:
    Article
    6