A theory of contracts for strong service compliance.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 3, p. 601, doi. 10.1017/S0960129509007658
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2009 AND VI 19 AND IP 3
Results: 5
1
2
On the expressive power of process interruption and compensation.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 3, p. 565, doi. 10.1017/S0960129509007683
- By:
- Publication type:
- Article
3
A quantitative computational model for complete partial metric spaces via formal balls.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 3, p. 541, doi. 10.1017/S0960129509007671
- By:
- Publication type:
- Article
4
Predicate transformers for extended probability and non-determinism.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 3, p. 501, doi. 10.1017/S0960129509007555
- By:
- Publication type:
- Article
5
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 3, p. 435, doi. 10.1017/S0960129509007567
- By:
- Publication type:
- Article