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

Results: 6

    • 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

    • 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

    • 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

    • Fair subtyping for multi-party session types.

      Published in:
      Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 424, doi. 10.1017/S096012951400022X
      By:
      • PADOVANI, LUCA
      Publication type:
      Article

    • 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

    • Preface to special issue: behavioural types.

      Published in:
      Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 365, doi. 10.1017/S0960129514000206
      By:
      • GAY, SIMON J.;
      • RAVARA, ANTÓNIO
      Publication type:
      Article