Bisimulation semantics for concurrency with atomicity and action refinement

• Authors:

• J. W. Bakker;E. P. Vink

• Affiliations:

• -;-

• Venue:
• Bisimulation semantics for concurrency with atomicity and action refinement
• Year:
• 1992