Found: 4
Select item for more details and to access through your institution.
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
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
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
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