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

Results: 5
    1

    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
    2
    3

    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
    4

    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
    5