Works matching IS 00015903 AND DT 2006 AND VI 42 AND IP 6/7
Results: 5
A typed encoding of boxed into safe ambients.
- Published in:
- Acta Informatica, 2006, v. 42, n. 6/7, p. 429, doi. 10.1007/s00236-005-0002-8
- By:
- Publication type:
- Article
Refinement of actions for real-time concurrent systems with causal ambiguity.
- Published in:
- Acta Informatica, 2006, v. 42, n. 6/7, p. 389, doi. 10.1007/s00236-005-0172-4
- By:
- Publication type:
- Article
Embedding linear orders in grids.
- Published in:
- Acta Informatica, 2006, v. 42, n. 6/7, p. 419, doi. 10.1007/s00236-005-0001-9
- By:
- Publication type:
- Article
Vector assignment schemes for asymmetric settings.
- Published in:
- Acta Informatica, 2006, v. 42, n. 6/7, p. 501, doi. 10.1007/s00236-005-0003-7
- By:
- Publication type:
- Article
Equivalences and optimizations in an expressive XSLT subset.
- Published in:
- Acta Informatica, 2006, v. 42, n. 6/7, p. 515, doi. 10.1007/s00236-005-0004-6
- By:
- Publication type:
- Article