Ana Cavalcanti, Marie-Claude Gaudel. A Note on Traces Refinement and the ::::conf:::: Relation in the Unifying Theories of Programming. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Volume 5713 of Lecture Notes in Computer Science, pages 42-61, Springer, 2008. [doi]
Abstract is missing.