Works matching IS 00015903 AND DT 2005 AND VI 42 AND IP 4/5
Results: 3
safeD pi: a language for controlling mobile code.
- Published in:
- Acta Informatica, 2005, v. 42, n. 4/5, p. 227, doi. 10.1007/s00236-005-0178-y
- By:
- Publication type:
- Article
Type-based information flow analysis for the π-calculus.
- Published in:
- Acta Informatica, 2005, v. 42, n. 4/5, p. 291, doi. 10.1007/s00236-005-0179-x
- By:
- Publication type:
- Article
A general framework for types in graph rewriting.
- Published in:
- Acta Informatica, 2005, v. 42, n. 4/5, p. 349, doi. 10.1007/s00236-005-0180-4
- By:
- Publication type:
- Article