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

Results: 5
    1

    Synchrony versus causality in distributed systems.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 8, p. 1459, doi. 10.1017/S0960129514000644
    By:
    • PETERS, KIRSTIN;
    • SCHICKE-UFFMANN, JENS-WOLFHARD;
    • GOLTZ, URSULA;
    • NESTMANN, UWE
    Publication type:
    Article
    2

    On session types and polynomial time.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 8, p. 1433, doi. 10.1017/S0960129514000632
    By:
    • DAL LAGO, UGO;
    • DI GIAMBERARDINO, PAOLO
    Publication type:
    Article
    3

    Termination in a π-calculus with subtyping.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 8, p. 1395, doi. 10.1017/S0960129514000620
    By:
    • CRISTESCU, IOANA;
    • HIRSCHKOFF, DANIEL
    Publication type:
    Article
    4

    Information flow safety in multiparty sessions.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 8, p. 1352, doi. 10.1017/S0960129514000619
    By:
    • CAPECCHI, SARA;
    • CASTELLANI, ILARIA;
    • DEZANI-CIANCAGLINI, MARIANGIOLA
    Publication type:
    Article
    5

    Preface to special issue: EXPRESS 2011.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 8, p. 1351, doi. 10.1017/S0960129514000607
    By:
    • LUTTIK, BAS;
    • VALENCIA, FRANK D.
    Publication type:
    Article