Deciding bisimulation equivalences for a class of non-finite-state programs

• Authors:

• B. Jonsson;J. Parrow

• Affiliations:

• -;-

• Venue:
• Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89
• Year:
• 1989