Correctness of dataflow and systolic algorithms using algebras of streams.
- Published in:
- Acta Informatica, 2001, v. 38, n. 1, p. 45, doi. 10.1007/PL00013322
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2001 AND VI 38 AND IP 1
Results: 2
1
2
Category-theoretic fibration as an abstraction mechanism in information systems.
- Published in:
- Acta Informatica, 2001, v. 38, n. 1, p. 1, doi. 10.1007/PL00013321
- By:
- Publication type:
- Article