Found: 4
Select item for more details and to access through your institution.
Metric semantics from partial order semantics.
- Published in:
- Acta Informatica, 1997, v. 34, n. 9, p. 701, doi. 10.1007/s002360050104
- By:
- Publication type:
- Article
A fine-grained data-flow analysis framework.
- Published in:
- Acta Informatica, 1997, v. 34, n. 9, p. 653, doi. 10.1007/s002360050101
- By:
- Publication type:
- Article
Using the causal domain to specify and verify distributed programs.
- Published in:
- Acta Informatica, 1997, v. 34, n. 9, p. 667, doi. 10.1007/s002360050102
- By:
- Publication type:
- Article
An analysis and implementation of an efficient in-place bucket sort.
- Published in:
- Acta Informatica, 1997, v. 34, n. 9, p. 687, doi. 10.1007/s002360050103
- By:
- Publication type:
- Article