An axiomatic semantics for iocos conformance relation | Publicación