Failure-equivalent transformation of transition systems to avoid internal actions

• Authors:

• Gang Luo;Gregor V. Bochmann;Anindya Das;Cheng Wu

• Affiliations:

• -;-;-;-

• Venue:
• Information Processing Letters
• Year:
• 1992