Types in concurrency.
- Published in:
- 2005
- By:
- Publication type:
- Editorial
Works matching IS 00015903 AND DT 2005 AND VI 42 AND IP 2/3
Results: 4
1
2
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:
- Publication type:
- Article
3
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:
- Publication type:
- Article
4
Genericity and the π-calculus.
- Published in:
- Acta Informatica, 2005, v. 42, n. 2/3, p. 83, doi. 10.1007/s00236-005-0175-1
- By:
- Publication type:
- Article