Branching Bisimilarity Checking for PRS
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Branching Bisimilarity Checking for PRS
ICALP, 2014.

ICALP v2 2014
Full names Links ISxN
	author        = "Qiang Yin and Yuxi Fu and Chaodong He and Mingzhang Huang and Xiuting Tao",
	booktitle     = "{Proceedings of the 41st International Colloquium on Automata, Languages, and Programming, Part II}",
	doi           = "10.1007/978-3-662-43951-7_31",
	isbn          = "978-3-662-43950-0",
	pages         = "363--374",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Branching Bisimilarity Checking for PRS}",
	volume        = 8573,
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.