| Translated title of the contribution | A Chaos-free failures-divergences semantics with applications to verification |
|---|---|
| Original language | English |
| Title of host publication | Millenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare |
| Editors | J. Davies |
| Place of Publication | Iso Britannia |
| Publisher | Antony Rowe Limited |
| Pages | 365-382 |
| Publication status | Published - 2000 |
| Publication type | A4 Article in conference proceedings |
Publication forum classification
- No publication forum level