On Bisimulation in Absence of Restriction

Xian Xu

We revisit the standard bisimulation equalities in process models free of the restriction operator. As is well-known, in general the weak bisimilarity is coarser than the strong bi…