Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence

M. Broy
DOI: https://doi.org/10.1007/978-3-642-11512-7_8
Abstract:
What problem does this paper attempt to address?