Paper

Decidability of branching bisimulation on normed commutative context-free processes

W. Czerwinski, P. Hofman, S. Lasota, "Decidability of branching bisimulation on normed commutative context-free processes", Theory Comput. Syst., vol. 55, no. 1, pp. 136-169, 2014.

2014

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