Works matching IS 00015903 AND DT 2005 AND VI 42 AND IP 2/3

Results: 4

    • 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