Paper

Branching bisimilarity checking for PRS

Q. Yin, Y. Fu, C. He, M. Huang, X. Tao, J. Esparza, P. Fraigniaud, T. Husfeldt, E. Koutsoupias, "Branching bisimilarity checking for PRS", ICALP (2), vol. 8573, pp. 363-374, 2014.

2014

Created by ACM worker at 2019-04-09 16:00:53.0.
Last updated by ACM worker at 2019-04-09 16:01:14.0.
Word Cloud
Quid