Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions

Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu. Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. Inf. Process. Lett., 44(6):333-343, 1992.

Abstract

Abstract is missing.