Found: 4

Select item for more details and to access through your institution.

  • Types in concurrency.

    Published in:
    2005
    By:
    • De Nicola, Rocco;
    • Sangiorgi, Davide
    Publication type:
    Editorial

  • Subtyping for session types in the pi calculus.

    Published in:
    Acta Informatica, 2005, v. 42, n. 2/3, p. 191, doi. 10.1007/s00236-005-0177-z
    By:
    • Gay, Simon;
    • Hole, Malcolm
    Publication type:
    Article

  • MOMI: a calculus for mobile mixins.

    Published in:
    Acta Informatica, 2005, v. 42, n. 2/3, p. 143, doi. 10.1007/s00236-005-0176-0
    By:
    • Bettini, Lorenzo;
    • Bono, Viviana;
    • Venneri, Betti
    Publication type:
    Article

  • Genericity and the π-calculus.

    Published in:
    Acta Informatica, 2005, v. 42, n. 2/3, p. 83, doi. 10.1007/s00236-005-0175-1
    By:
    • Berger, Martin;
    • Honda, Kohei;
    • Yoshida, Nobuko
    Publication type:
    Article