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

Results: 5

    • 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

    • 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

    • 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

    • 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

    • 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