@Article{         YinFuHeHuangTao,
  Author        = "Yin, Qiang and Fu, Yuxi and He, Chaodong and Huang, Mingzhang and Tao, Xiuting",
  Abstract      = "Recent studies reveal that branching bisimilarity is decidable for both nBPP (normed Basic Parallel Process) and nBPA (normed Basic Process Algebra). These results lead to the question if there are any other models in the hierarchy of PRS (Process Rewrite System) whose branching bisimilarity is decidable. It is shown in this paper that the branching bisimilarity for both nOCN (normed One Counter Net) and nPA (normed Process Algebra) is undecidable. These results essentially imply that the question has a negative answer.",
  date-added    = "2016-03-26 13:21:30 +0000",
  date-modified = "2016-03-26 13:21:30 +0000",
  EPrint        = "1402.0050",
  Month         = "02",
  Title         = "Branching Bisimilarity Checking for PRS",
  URL           = "http://arxiv.org/abs/1402.0050",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1402.0050",
  File          = "Branching Bisimilarity Checking for PRS - Yin, Fu, He, Huang, Tao (0) (0) - a - a - a.pdf"
}

@Article{ YinFuHeHuangTao, Author = "Yin, Qiang and Fu, Yuxi and He, Chaodong and Huang, Mingzhang and Tao, Xiuting", Abstract = "Recent studies reveal that branching bisimilarity is decidable for both nBPP (normed Basic Parallel Process) and nBPA (normed Basic Process Algebra). These results lead to the question if there are any other models in the hierarchy of PRS (Process Rewrite System) whose branching bisimilarity is decidable. It is shown in this paper that the branching bisimilarity for both nOCN (normed One Counter Net) and nPA (normed Process Algebra) is undecidable. These results essentially imply that the question has a negative answer.", date-added = "2016-03-26 13:21:30 +0000", date-modified = "2016-03-26 13:21:30 +0000", EPrint = "1402.0050", Month = "02", Title = "Branching Bisimilarity Checking for PRS", URL = "http://arxiv.org/abs/1402.0050", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1402.0050", File = "Branching Bisimilarity Checking for PRS - Yin, Fu, He, Huang, Tao (0) (0) - a - a - a.pdf" }