Results: 4
Letter from the Editor.
- Published in:
- Acta Informatica, 2001, v. 37, n. 4/5, p. 227, doi. 10.1007/s002360000052
- By:
- Publication type:
- Article
Refinement of actions and equivalence notions for concurrent systems.
- Published in:
- Acta Informatica, 2001, v. 37, n. 4/5, p. 229, doi. 10.1007/s002360000041
- By:
- Publication type:
- Article
Demonic, angelic and unbounded probabilistic choices in sequential programs.
- Published in:
- Acta Informatica, 2001, v. 37, n. 4/5, p. 329, doi. 10.1007/s002360000046
- By:
- Publication type:
- Article
Analysis of range search for random k-d trees.
- Published in:
- Acta Informatica, 2001, v. 37, n. 4/5, p. 355, doi. 10.1007/s002360000044
- By:
- Publication type:
- Article