Fusion and simultaneous execution in the refinement calculus.
- Published in:
- Acta Informatica, 1998, v. 35, n. 11, p. 921, doi. 10.1007/s002360050148
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1998 AND VI 35 AND IP 11
Results: 3
1
2
Modular correctness proofs of behavioural implementations.
- Published in:
- Acta Informatica, 1998, v. 35, n. 11, p. 951, doi. 10.1007/s002360050149
- By:
- Publication type:
- Article
3
Asymptotic expansions of the mergesort recurrences.
- Published in:
- Acta Informatica, 1998, v. 35, n. 11, p. 911, doi. 10.1007/s002360050147
- By:
- Publication type:
- Article