Partial-Congruence Factorization of Bisimilarity Induced by Open Maps.

Slawomir Lasota Partial-Congruence Factorization of Bisimilarity Induced by Open Maps. 91-102 http://link.springer.de/link/service/series/0558/bibs/1443/14430091.htm 1998 conf/icalp/1998 ICALP db/conf/icalp/icalp98.html#Lasota98