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

Results: 5

    • Preface to special issue: behavioural types.

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

    • On asynchronous eventful session semantics.

      Published in:
      Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 303, doi. 10.1017/S096012951400019X
      By:
      • KOUZAPAS, DIMITRIOS;
      • YOSHIDA, NOBUKO;
      • HU, RAYMOND;
      • HONDA, KOHEI
      Publication type:
      Article

    • Global progress for dynamically interleaved multiparty sessions.

      Published in:
      Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 238, doi. 10.1017/S0960129514000188
      By:
      • COPPO, MARIO;
      • DEZANI-CIANCAGLINI, MARIANGIOLA;
      • YOSHIDA, NOBUKO;
      • PADOVANI, LUCA
      Publication type:
      Article

    • Linearity, session types and the Pi calculus.

      Published in:
      Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 206, doi. 10.1017/S0960129514000176
      By:
      • GIUNTI, MARCO;
      • VASCONCELOS, VASCO THUDICHUM
      Publication type:
      Article

    • Global escape in multiparty sessions.

      Published in:
      Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 156, doi. 10.1017/S0960129514000164
      By:
      • CAPECCHI, SARA;
      • GIACHINO, ELENA;
      • YOSHIDA, NOBUKO
      Publication type:
      Article