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
Works matching IS 00015903 AND DT 1997 AND VI 34 AND IP 9
Results: 4
1
2
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
3
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
4
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