Failures Semantics Based on Interval Semiwords is a Congruence for Refinement.

Walter Vogler

Browse the full STACS paper archive.