A remark on bisimulation between probabilistic processes

• Authors:

• B. Bloom;A. R. Meyer

• Affiliations:

• -;-

• Venue:
• Logic at Botik'89 Symposium on logical foundations of computer science
• Year:
• 1989