Partial-Congruence Factorization of Bisimilarity Induced by Open Maps

• Authors:

• Slawomir Lasota

• Affiliations:

• -

• Venue:
• ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
• Year:
• 1998