External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Branching Bisimilarity Checking for PRS

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao. Branching Bisimilarity Checking for PRS. In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias, editors, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Volume 8573 of Lecture Notes in Computer Science, pages 363-374, Springer, 2014. [doi]

Authors

Qiang Yin

This author has not been identified. Look up 'Qiang Yin' in Google

Yuxi Fu

This author has not been identified. Look up 'Yuxi Fu' in Google

Chaodong He

This author has not been identified. Look up 'Chaodong He' in Google

Mingzhang Huang

This author has not been identified. Look up 'Mingzhang Huang' in Google

Xiuting Tao

This author has not been identified. Look up 'Xiuting Tao' in Google
runs on