Branching Bisimilarity is an Equivalence Indeed! Export

@article{citeulike:2649159, abstract = {Introduction In [9], branching bisimilarity has been introduced as an equivalence relation on processes that preserves the branching structure of processes. It distinguishes slightly more processes than the well-known observation equivalence as introduced by Milner [11]. Since its introduction, branching-bisimulation equivalence has rapidly gained popularity in the scientific literature on concurrency semantics (see for example [1--4,7,8,5,6]). However, the fact that it is indeed an equivalence ...}, author = {Basten, Twan}, citeulike-article-id = {2649159}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2886}, journal = {Information Processing Letters}, keywords = {bisimilarity, branching, equivalence, of, proof, relation}, number = {3}, pages = {141--147}, posted-at = {2008-04-10 13:46:07}, priority = {0}, title = {Branching Bisimilarity is an Equivalence Indeed!}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2886}, volume = {58}, year = {1996} }

TY - JOUR ID - citeulike:2649159 L3 - citeulike-article-id:2649159 N2 - Introduction In [9], branching bisimilarity has been introduced as an equivalence relation on processes that preserves the branching structure of processes. It distinguishes slightly more processes than the well-known observation equivalence as introduced by Milner [11]. Since its introduction, branching-bisimulation equivalence has rapidly gained popularity in the scientific literature on concurrency semantics (see for example [1--4,7,8,5,6]). However, the fact that it is indeed an equivalence ... IS - 3 JF - Information Processing Letters EP - 147 TI - Branching Bisimilarity is an Equivalence Indeed! VL - 58 SP - 141 KW - bisimilarity KW - branching KW - equivalence KW - of KW - proof KW - relation AU - Basten, Twan PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2886 ER -