Equivalence relations for modular performance evaluation in dtsPBC.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 1, p. 1, doi. 10.1017/S0960129513000029
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2014 AND VI 24 AND IP 1
Results: 4
1
2
Fixed points of contractive maps on dcpo's.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 1, p. 1, doi. 10.1017/S0960129513000017
- By:
- Publication type:
- Article
3
A linear category of polynomial diagrams.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 1, p. 1, doi. 10.1017/S0960129512001016
- By:
- Publication type:
- Article
4
An operational domain-theoretic treatment of recursive types.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 1, p. 1, doi. 10.1017/S0960129512001004
- By:
- Publication type:
- Article