A pragmatic behavior subtyping relation based on both states and actions

• Authors:

• Wang Shengyuan;Yu Jian;Yuan Chongyi

• Affiliations:

• -;-;-

• Venue:
• Journal of Computer Science and Technology
• Year:
• 2001