Works matching IS 00015903 AND DT 2000 AND VI 36 AND IP 8
Results: 3
Specifying communication in distributed information systems.
- Published in:
- Acta Informatica, 2000, v. 36, n. 8, p. 591, doi. 10.1007/s002360050167
- By:
- Publication type:
- Article
A complete algebraic characterization of behavioral subtyping.
- Published in:
- Acta Informatica, 2000, v. 36, n. 8, p. 617, doi. 10.1007/s002360050168
- By:
- Publication type:
- Article
On the expressiveness of subset-sum representations.
- Published in:
- Acta Informatica, 2000, v. 36, n. 8, p. 665, doi. 10.1007/s002360050169
- By:
- Publication type:
- Article