Branching Bisimilarity Checking for PRS.

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

Browse the full ICALP paper archive.