A specification logic for concurrent object-oriented programming.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 3, p. 253, doi. 10.1017/s0960129599002789
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1999 AND VI 9 AND IP 3
Results: 3
1
2
Hidden coinduction: behavioural correctness proofs for objects.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 3, p. 287, doi. 10.1017/s0960129599002777
- By:
- Publication type:
- Article
3
Proof-theoretic foundations for the design of actor systems.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 3, p. 227, doi. 10.1017/s0960129599002765
- By:
- Publication type:
- Article